Ground expression - PDFSEARCH.IO - Document Search Engine

Ground expression
Results: 30

#	Item
1	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2012-07-17 05:12:14 Mathematical logic Modal logic Term Herbrand interpretation Ground expression
2	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Add to Reading List Source URL: stijnheymans.net Language: English - Date: 2015-12-05 16:07:35 Predicate logic Mathematical logic Propositional calculus Automated theorem proving Query languages Datalog Prolog Logic programming Ground expression Horn clause Substitution First-order logic
3	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
4	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
5	Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2013-04-09 22:34:32 Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic
6	Delimited continuations in natural language Quantification and polarity sensitivity Chung-chieh Shan Harvard University 33 Oxford Street Cambridge, MAUSA Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:26 Binding Generalized quantifier Quantification Entailment Constructible universe First-order logic Denotational semantics Symbol Ground expression Logic Semantics Mathematical logic
7	Building Enhancers from the Ground Up: A Synthetic Biology Approach Roee Amit,1,3,4,* Hernan G. Garcia,2 Rob Phillips,1,3 and Scott E. Fraser1,3 1Division of Biology Add to Reading List Source URL: www.rpgroup.caltech.edu Language: English - Date: 2011-07-07 16:53:19 Enhancer TetR Promoter Regulation of gene expression Transcription factor Transcriptional regulation DNA Regulatory sequence Gene cassette Biology Gene expression Biochemistry
8	VETERANS FOR PEACE SUPPORTS FREEDOM OF RELIGION Congress shall make no law respecting an establishment of religion, or prohibiting the free exercise thereof; or abridging the freedom of speech, or of the press; or the ri Add to Reading List Source URL: www.vfp49.org Language: English - Date: 2015-04-09 13:57:09 Freedom of religion Religious discrimination Religious persecution Toleration Islam in the United States Religion Universal Declaration of Human Rights Secularism Ground Zero controversy Separation of church and state Human rights Freedom of expression
9	Expressing Polymorphic Types in a Many-Sorted Language François Bobot1,2 and Andrei Paskevich1,2 1 2 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-05-14 03:02:54 Model theory Formal languages Type theory Symbol Interpretation First-order logic Well-formed formula Ground expression Greek alphabet Logic Mathematics Mathematical logic
10	Optimal Bounds in Parametric LTL Games Martin Zimmermann1 Institute of Informatics University of Warsaw Warsaw, Poland Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-01 04:03:57 Tiny Encryption Algorithm Partition Valuation Ground expression Constructible universe Ordinal number Mathematics Linear temporal logic Temporal logic

UPDATE