C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
301	Course 311: Abstract Algebra Academic year[removed]D. R. Wilkins c David R. Wilkins 1997–2007 Copyright Add to Reading List Source URL: www.maths.tcd.ie Language: English - Date: 2008-01-31 10:23:17 Constructible number Compass and straightedge constructions Field extension Simple extension Field Galois theory Fundamental theorem of algebra Minimal polynomial Normal extension Abstract algebra Algebra Field theory
302	Logic-Flow Analysis of Higher-Order Programs Matt Might http://matt.might.net/ POPL 2007 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer errors Arrays Formal methods Data types Automated theorem proving Principles of Programming Languages Bounds checking Array data type C Computing Software engineering Computer programming
303	C:rskDataalp672b805_a905_404c_a6e2_dac9eae486b5.ps Add to Reading List Source URL: www.larspeterhansen.org Language: English - Date: 2012-10-09 10:12:09 Markov chain Perron–Frobenius theorem Connection Mathematical analysis Markov processes Markov models Mathematics
304	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2013-05-14 11:38:47 Ubuntu Logic in computer science Frama-C Formal methods Debian Proof assistant Isabelle Deb Theorem prover Software Dpkg Automated theorem proving
305	c Birkh¨ auser Verlag, Basel 2003 GAFA, Geom. funct. anal. Vol[removed] – 215 Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2010-09-13 10:14:06 Support Central limit theorem Concave function Lebesgue measure Derivative Convex function Continuous function Mathematical analysis Convex analysis Measure theory
306	arXiv:0704.0575v1 [physics.class-ph] 4 Apr[removed]A non-perturbative proof of Bertrand’s theorem F C Santos ∗ V Soares† A C Tort ‡ Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-04 21:28:29 Harmonic functions Newtonian potential Potential theory Orbit Quantum harmonic oscillator Mathematical analysis Physics Partial differential equations
307	On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-04-06 03:37:20 Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics Theoretical computer science Applied mathematics
308	A JOIN THEOREM FOR THE COMPUTABLY ENUMERABLE DEGREES CARL G. JOCKUSCH, JR., ANGSHENG LI, AND YUE YANG Abstract. It is shown that for any computably enumerable (c.e.) degree w, if w 6= 0, then there is a c.e. degree a suc Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-16 11:01:22 Proof theory Limit set Mathematics Ordinal arithmetic Constructible universe Mathematical logic Ordinal numbers
309	Classification and rigidity for von Neumann algebras Adrian Ioana University of California, San Diego 6th ECM Krakow, July 4th, 2012 Add to Reading List Source URL: www.6ecm.pl Language: English - Date: 2012-07-18 02:47:45 Functional analysis Mathematics Crossed product John von Neumann Commutation theorem Approximately finite dimensional C*-algebra Mathematical analysis Von Neumann algebras Operator theory
310	THEORETICAL EFFICIENCY I N POLLUTION CONTROL: COMMENT DONALD C. SHOUP University of Michigan In a recent issue of this JournuZ, Richard 0. Zerbe [7] considered the Add to Reading List Source URL: shoup.bol.ucla.edu Language: English - Date: 2013-09-19 20:29:34 Welfare economics Environmental economics Microeconomics Coase theorem Externality Bargaining Public good Ronald Coase Pareto efficiency Economics Market failure Law and economics

UPDATE