1![Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany](https://www.pdfsearch.io/img/0dc544920d9cc370c08027abd5f57072.jpg) | Add to Reading ListSource URL: www.dr-dau.netLanguage: English - Date: 2007-08-09 21:04:38
|
---|
2![A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook](https://www.pdfsearch.io/img/e7336bd4e53c4373caec30c52ca86242.jpg) | Add to Reading ListSource URL: bsd7.cs.sunysb.eduLanguage: English - Date: 2008-07-02 09:38:12
|
---|
3![Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires](https://www.pdfsearch.io/img/24205f85f377f825ecdf63a5407606fb.jpg) | Add to Reading ListSource URL: tyrex.inria.frLanguage: English - Date: 2015-07-29 15:55:34
|
---|
4![LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103](https://www.pdfsearch.io/img/75cf78a3601ee581a587be36e1ba8b78.jpg) | Add to Reading ListSource URL: precedings.nature.comLanguage: English |
---|
5![XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert](https://www.pdfsearch.io/img/179f645002c9967bff402c2f5505148d.jpg) | Add to Reading ListSource URL: tyrex.inria.frLanguage: English - Date: 2015-12-08 05:48:48
|
---|
6![Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1](https://www.pdfsearch.io/img/6fdbd8178e3fc404fac58ed211ba4b10.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:55
|
---|
7![predicate logic logical verification week predicate logic logical verification week](https://www.pdfsearch.io/img/a99284f88b2da989cafa82746da1b32e.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2004-12-15 12:39:18
|
---|
8![A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates James Brotherston ∗ Carsten Fuhs † Juan A. Navarro P´erez ‡ University College London A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates James Brotherston ∗ Carsten Fuhs † Juan A. Navarro P´erez ‡ University College London](https://www.pdfsearch.io/img/d394f1322c5a8d0b1ebaebd6c47fd0e0.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2014-05-16 12:03:54
|
---|
9![Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda](https://www.pdfsearch.io/img/2d044ebed4cfa4fd1dc9fb53173886bb.jpg) | Add to Reading ListSource URL: db.ucsd.eduLanguage: English - Date: 2008-12-16 18:44:40
|
---|
10![Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University](https://www.pdfsearch.io/img/56fcc8fc390ba4daa05b2275026e5a00.jpg) | Add to Reading ListSource URL: www.peoppenheimer.orgLanguage: English - Date: 2016-07-11 03:14:21
|
---|