BibTeX cite key | Author/Editor | Year | | Title | Type |
DammDischHungarPangPigorschSchollWaldmannWirtz2006 | Damm, Werner
Disch, Stefan
Hungar, Hardi
Pang, Jun
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris | 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 |
DammRatschan2005a | Damm, Werner
Pinto, Guilherme
Ratschan, Stefan | 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 |
DelahayeJaumePrevosto2005 | Delahaye, David
Jaume, Mathieu
Prevosto, Virgile | 2005 | | Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160 | Journal Article |
Delzanno1998 | Delzanno, Giorgio | 1998 | | Specification of Term Rewriting in Linear Logic
In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, ?? | Proceedings Article |
DelzannoBLM1999 | Bugliesi, Michele
Delzanno, Giorgio
Liquori, Luigi
Martelli, Maurizio | 2000 | | Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | Journal Article |
DelzannoBMMZ1999 | Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
Zini, Floriano | 1999 | | Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | Proceedings Article |
DelzannoBMMZb1999 | Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
Zini, Floriano | 1999 | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | Part of a Book |
DelzannoEsparzaPodelski99 | Delzanno, Giorgio
Esparza, Javier
Podelski, Andreas | 1999 | | Constraint-Based Analysis of Broadcast Protocols
In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, 50-66 | Proceedings Article |
DelzannoGM1999 | Delzanno, Giorgio
Galmiche, Didier
Martelli, Maurizio | 1999 | | A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286 | Journal Article |
DelzannoRaskinTACAS2000 | Delzanno, Giorgio
Raskin, Jean-François | 2000 | | Symbolic Representation of Upward-Closed Sets
In: Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00), 426-440 | Proceedings Article |
deNivelle1999direct | de Nivelle, Hans
Areces, Carlos
de Rijke, Maarten | 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 |
deNivelle2000 | de Nivelle, Hans | 2000 | | Deciding the E-plus class by an a posteriori, liftable order
In: Annals of Pure and Applied Logic [88], 219-232 | Journal Article |
deNivelle2000a | de Nivelle, Hans
Bezem, Marc
Hendriks, Dimitri | 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 |
deNivelle2000b | de Nivelle, Hans | 2000 | | An Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130 | Proceedings Article |
deNivelle2000c | de Nivelle, Hans
Hustadt, Ullrich
Schmidt, Renate A. | 2000 | | Resolution-Based Methods for Modal Logics
In: Logic Journal of the IGPL [8], 265-292 | Journal Article |
deNivelle2001 | de Nivelle, Hans
Pratt-Hartmann, Ian | 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 |
deNivelle2001lpar | de Nivelle, Hans | 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 |
deNivelle2001slp | de Nivelle, Hans
Blackburn, Patrick
Bos, Johan
Kohlhase, Michael | 2001 | | Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28 | Journal Article |
deNivelle2002a | de Nivelle, Hans | 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 |
deNivelle2002b | Bezem, Marc
Hendriks, Dimitri
de Nivelle, Hans | 2002 | | Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275 | Journal Article |
deNivelle2003a | de Nivelle, Hans
de Rijke, Maarten | 2003 | | Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58 | Journal Article |
deNivelle2003b | de Nivelle, Hans | 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 |
deNivelle2003c | de Nivelle, Hans | 2003 | | Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83 | Proceedings Article |
deNivelle2005a | de Nivelle, Hans | 2005 | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54 | Journal Article |
deNivelle2006a | Ahrendt, Baumgartner, de Nivelle (ed.) | 2006 | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings |
deNivelle2006b | de Nivelle, Hans
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | 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 |
deNivelleDemri2003a | de Nivelle, Hans
Demri, Stéphane | 2003 | | Deciding regular grammar logics with converse through first-order logic | Report |
deNivelleDemri2003c | de Nivelle, Hans
Demri, Stéphane | 2003 | | Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30 | Proceedings Article |
deNivelleDemri2005 | de Nivelle, Hans
Demri, Stéphane | 2005 | | Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329 | Journal Article |
deNivelleMeng2006a | de Nivelle, Hans
Meng, Jia | 2006 | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article |