| Author/Editor | Year | | Title | Type | |
| 03F05 |
| |
| 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 | |
| 03F20 |
| |
| 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 | |
| 0/1 polytope |
| |
| Bockmayr, Alexander
Eisenbrand, Friedrich
Hartmann, Mark
Schulz, Andreas S. | 1999 | | On the Chvátal Rank of Polytopes in the 0/1 Cube
In: Discrete Applied Mathematics [98], 21-27 | Journal Article | |
| 2-variable fragment |
| |
| 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 | |
| 68000 Assembler |
| |
| Brahm, Uwe
Pitz, Werner | 1990 | | Parkwächter
In: c't Magazin für computer technik [-], 252-253 | Journal Article | |
| 68T15 |
| |
| 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 | |
| Abelian groups |
| |
| Stuber, Jürgen | 1998 | | Superposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177 | Journal Article | |
| Waldmann, Uwe | 2002 | | Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861 | Journal Article | |
| Waldmann, Uwe | 2002 | | Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829 | Journal Article | |
| Abelian Monoids |
| |
| Waldmann, Uwe | 1998 | | Extending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49 | Journal Article | |
| abstract interpretation |
| |
| Podelski, Andreas
Charatonik, Witold
Müller, Martin | 1999 | | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Proceedings Article | |
| Rybalchenko, Andrey | 2002 | | A Model Checker based on Abstraction Refinement
Universität des Saarlandes | Thesis - Master's thesis | |
| Wies, Thomas | 2004 | | Symbolic Shape Analysis
Universität des Saarlandes | Thesis - Master's thesis | |
| Abstraction |
| |
| Podelski, Andreas
Wagner, Silke | 2007 | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report | |
| Rybalchenko, Andrey | 2002 | | A Model Checker based on Abstraction Refinement
Universität des Saarlandes | Thesis - Master's thesis | |
| |
| Schmidt, Renate A.
Tishkovsky, Dmitry | 2004 | | Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36 | Journal Article | |
| |
| Schmidt, Renate A.
Tishkovsky, Dmitry
Hustadt, Ullrich | 2004 | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415 | Journal Article | |
| |