Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
521	ON LOWER RAMIFICATION SUBGROUPS AND CANONICAL SUBGROUPS SHIN HATTORI Abstract. Let p be a rational prime, k be a perfect ﬁeld of characteristic p and K be a ﬁnite totally ramiﬁed extension of the fraction ﬁeld of Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Mathematics Field theory Group theory Commutative algebra Localization Ring theory Valuation ring Valuation Quotient group Isomorphism theorem
522	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
523	PHYSICAL REVIEW E 91, Structure and dynamics of model colloidal clusters with short-range attractions Robert S. Hoy* Department of Physics, University of South Florida, Tampa, Florida 33620, USA (Received Add to Reading List Source URL: labs.cas.usf.edu Language: English - Date: 2015-01-12 20:47:28 Physics Chemistry Thermodynamic entropy Nuclear magnetic resonance Relaxation Virial theorem Rigid body dynamics Entropy Non-equilibrium thermodynamics Cluster chemistry Molecular dynamics
524	Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof
525	1 Duplication-Correcting Codes for Data Storage in the DNA of Living Organisms Siddharth Jain, Farzad Farnoud (Hassanzadeh), Member, IEEE, Moshe Schwartz, Senior Member, IEEE, Jehoshua Bruck, Fellow, IEEE Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2016-06-01 05:46:52 Mathematics Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Polynomials Fundamental theorem of algebra Permutation polynomial
526	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
527	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
528	QuantumOpt.Printedin rhe UK Compensationof self-phasemodulationin a gnn measurementof photon number basedon the optical Kerr effect Hans Martens and Willem M de Muynck Add to Reading List Source URL: www.phys.tue.nl Language: English - Date: 2010-01-09 07:17:40 Quantum mechanics Physics Mathematical analysis Mathematics Heat equation CameronMartin theorem
529	Schur properties of convolutions of gamma random variables Farbod Roosta-Khorasani∗ G´abor J. Sz´ekely† Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2016-01-22 15:04:43 Mathematical analysis Statistics Probability distributions Probability Infinitely divisible probability distributions Gamma distribution Exponential distribution NC Relationships among probability distributions Central limit theorem
530	Course: Game Theory Faculty: Add to Reading List Source URL: idea.uab.es Language: English - Date: 2016-07-22 06:27:54 Game theory Decision theory Gaming Nash equilibrium Folk theorem Strategy Trembling hand perfect equilibrium Subgame Sequential equilibrium Equilibrium selection Correlated equilibrium Extensive-form game

UPDATE