Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
181	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-06-15 12:36:35 Mathematical logic Institution Structure Embedding Symbol Parity of a permutation Interpretation Specification language Signature Model theory Mathematics Metalogic
182	A Expressive Languages for Path Queries over Graph-Structured Data ´ , University of Chile PABLO BARCELO LEONID LIBKIN, University of Edinburgh ANTHONY W. LIN, Univerity of Oxford Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-12-12 09:23:41 Metalogic Model theory Structure Universal algebra FO String Orbifold Conjunctive query Mathematics Formal languages Theoretical computer science
183	Using Initial and Lateral Boundary Conditions from HYCOM in a Coastal Southern California NCOM Model Paul W. May & Julie D. Pullen Goal Goal Add to Reading List Source URL: hycom.org Language: English - Date: 2009-05-23 17:43:42 Metalogic Model theory
184	Microsoft Word - Inferentialism-Sofia.doc Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2012-05-27 04:13:34 Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
185	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:30 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
186	Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem Add to Reading List Source URL: www.gbv.de Language: English - Date: 2007-11-05 08:28:23 Computability theory Model theory Complexity classes Metalogic Proof theory Decision problem Decidability Satisfiability First-order logic Theoretical computer science Computational complexity theory Mathematical logic
187	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
188	Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 11:05:12 Deduction Logic in computer science Propositional calculus Entailment Metalogic Sequent calculus Intuitionistic logic Symbol Natural deduction Logic Mathematical logic Proof theory
189	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
190	Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr Introduction Add to Reading List Source URL: www.msr-inria.fr Language: English - Date: 2015-01-29 08:56:57 Finite groups Metalogic Mathematical logic Mathematical proofs Coq Feit–Thompson theorem Proof assistant Dade isometry Fundamental theorem of algebra Mathematics Abstract algebra Algebra

UPDATE