C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
81	Theorem Lemma Inverse scattering and Calder´on’s problem Alberto Ruiz,(UAM) An o. f. c.. Luminy April 2015 Add to Reading List Source URL: iecl.univ-lorraine.fr Language: English - Date: 2015-04-13 11:52:19
82	Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 13:26:18
83	A Proof of Pythagorian’s Theorem Pythagorian’s theorem expresses an equality about the lengths of the sides of a right triangle. It says that if the length of the hypothinus is c and lengths of the other sides are a Add to Reading List Source URL: tinyclouds.org Language: English - Date: 2015-09-18 14:48:04
84	A geometric proof of the colored Tverberg theorem Jiří Matoušeka,b,c Martin Tancera,b,d Uli Wagnerc, e November 2, 2010 Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
85	A uniqueness theorem for the AdS soliton ∗ † G.J. Galloway∗ a , S. Surya† ‡ b , E. Woolgar‡ c Add to Reading List Source URL: www.math.miami.edu Language: English - Date: 2002-02-06 10:15:19
86	Termination Analysis by Dependency Pairs and Inductive Theorem Proving⋆ S. Swiderski1 , M. Parting1 , J. Giesl1 , C. Fuhs1 , and P. Schneider-Kamp2 1 2 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:50:00
87	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
88	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Logic Mathematics Abstraction Formal languages Mathematical logic Linear temporal logic Temporal logic Automated theorem proving Propositional calculus Substitution IP Interpretation
89	WEYL’S THEOREM IN THE MEASURE THEORY OF NUMBERS R.C. BAKER, R. COATNEY, AND G. HARMAN 1. Introduction We write {y} for the fractional part of y. A real sequence y1 , y2 , . . . is said to be Add to Reading List Source URL: math.byu.edu Language: English - Date: 2009-10-08 14:56:38
90	C o n n e c t i n g G re a t M i n d s Add to Reading List Source URL: www.cin.ufpe.br Language: English - Date: 2011-09-16 07:48:16 Reasoning Deductive reasoning Programming paradigms Artificial intelligence Automated theorem proving Reasoning system Mathematical logic Knowledge representation and reasoning Computer science Logic programming Inference Natural deduction

UPDATE