Ground expression

Results: 30



#Item
1Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science

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
2Cruanes, 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

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
3Decision Procedures for Algebraic Data Types with Abstractions

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
4An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1  Institute of Science and Technology (IST), Austria

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
5Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift

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
6Delimited continuations in natural language Quantification and polarity sensitivity Chung-chieh Shan Harvard University 33 Oxford Street Cambridge, MAUSA

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
7Building 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

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
8VETERANS 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

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
9Expressing Polymorphic Types in a Many-Sorted Language François Bobot1,2 and Andrei Paskevich1,2 1 2

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
10Optimal Bounds in Parametric LTL Games Martin Zimmermann1 Institute of Informatics University of Warsaw Warsaw, Poland

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