Author/Editor [Non Institute] | Year | | Title | Type |
Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
(Ed: Graf, Zhang)
[-] | 2006 | | Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291 | Proceedings Article |
Damm, Pinto, Ratschan
(Ed: Peled, Tsay)
[-] | 2005 | | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113 | Proceedings Article |
Daum, Maus, Schirmer, Seghir
(Ed: Sutcliffe, Voronkov)
[-] | 2005 | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | Proceedings Article |
de Nivelle
(Ed: Baader)
[-] | 2003 | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 365-379 | Proceedings Article |
de Nivelle
(Ed: Bradfield)
[-] | 2002 | | Extraction of Proofs from the Clausal Normal Form Transformation
In: Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, 584-598 | Proceedings Article |
de Nivelle
(Ed: Faller, Kaufmann, Pauly)
[Faller, Kaufmann, Pauly] | 2000 | | An Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130 | Proceedings Article |
de Nivelle
(Ed: Konev, Schmidt)
[-] | 2003 | | Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83 | Proceedings Article |
de Nivelle
(Ed: Nieuwenhuis, Voronkov)
[Nieuwenhuis, Voronkov] | 2001 | | Splitting through New Proposition Symbols
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185 | Proceedings Article |
de Nivelle
[-] | 2005 | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54 | Journal Article |
de Nivelle
[-] | 2000 | | Deciding the E-plus class by an a posteriori, liftable order
In: Annals of Pure and Applied Logic [88], 219-232 | Journal Article |
de Nivelle, Areces, de Rijke
(Ed: Ganzinger)
[Areces, de Rijke] | 1999 | | Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201 | Proceedings Article |
de Nivelle, Baumgartner, Fuchs, Tinelli
(Ed: Ahrendt, Baumgartner, de Nivelle)
[-] | 2006 | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article |
de Nivelle, Bezem, Hendriks
(Ed: McAllester)
[Bezem, Hendriks, McAllester] | 2000 | | Automated Proof Construction in Type Theory Using Resolution
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 148-163 | Proceedings Article |
de Nivelle, Blackburn, Bos, Kohlhase
[Blackburn, Bos, Kohlhase] | 2001 | | Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28 | Journal Article |
de Nivelle, de Rijke
[de Rijke] | 2003 | | Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58 | Journal Article |
de Nivelle, Demri
(Ed: Areces, Blackburn)
[-] | 2003 | | Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30 | Proceedings Article |
de Nivelle, Demri
[-] | 2005 | | Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329 | Journal Article |
de Nivelle, Demri
[-] | 2003 | | Deciding regular grammar logics with converse through first-order logic | Report |
de Nivelle, Hustadt, Schmidt
[Hustadt, Schmidt] | 2000 | | Resolution-Based Methods for Modal Logics
In: Logic Journal of the IGPL [8], 265-292 | Journal Article |
de Nivelle, Kazakov
[-] | 2004 | | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | Report |
de Nivelle, Meng
(Ed: Furbach, Shankar)
[-] | 2006 | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article |
de Nivelle, Meng
[-] | 2006 | | Geo 2006j | Miscellaneous |
de Nivelle, Piskac
(Ed: Aichernig, Beckert)
[-] | 2005 | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article |
de Nivelle, Pratt-Hartmann
(Ed: Goré, Leitsch, Nipkow)
[Pratt-Hartmann, Goré, Leitsch, Nipkow] | 2001 | | A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225 | Proceedings Article |
de Nivelle, Schulz (ed.)
(Ed: de Nivelle, Schulz)
[-] | 2001 | | Proceedings of the 2nd International Workshop on the Implementation of Logics | Proceedings |
de Raedt, Jaeger, Lee, Mannila
[-] | 2002 | | A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | Proceedings Article |
Degtyarev, Gurevich, Narendran, Veanes, Voronkov
(Ed: Nipkow)
[Degtyarev, Gurevich, Narendran, Voronkov, Nipkow] | 1998 | | The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195 | Proceedings Article |
Degtyarev, Gurevich, Narendran, Veanes, Voronkov
[Degtyarev, Gurevich, Narendran, Voronkov] | 2000 | | Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184 | Journal Article |
Delahaye, Jaume, Prevosto
[-] | 2005 | | Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160 | Journal Article |
Delzanno
(Ed: Galmiche)
[-] | 1998 | | Specification of Term Rewriting in Linear Logic
In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, ?? | Proceedings Article |