| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Basic Paramodulation
In: Information and Computation [121], 172-192 | Bachmair, Leo
Ganzinger, Harald
[Lynch, Christopher]
[Snyder, Wayne] | | 1995 | Journal Article |
| Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476 | Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne | Kapur, D. | 1992 | Proceedings Article |
| Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes | Althaus, Ernst | | 1998 | Thesis - Masters thesis |
| Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | Mukhopadhyay, Supratik
Podelski, Andreas | [Ramanujam, R]
[Raman, V.] | 1999 | Proceedings Article |
| Boolean Algebra Admits no Convergent Term Rewriting System
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA-91), 264-274 | Socher-Ambrosius, Rolf | Book, R. V. | 1991 | Proceedings Article |
| Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Ohlbach, Hans Jürgen | | 1995 | Unpublished/Draft |
| Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | 2003 | Journal Article |
| Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | [Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.] | Margaria, Tiziana
Yi, Wang | 2001 | Proceedings Article |
| Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283 | Podelski, Andreas
Wies, Thomas | [Hankin, Chris]
[Siveroni, Igor] | 2005 | Proceedings Article |
| Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277 | Ganzinger, Harald | [Danvy, Olivier]
[Filinski, Andrzej] | 2001 | Proceedings Article |
| Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | [Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick | [Ong, Luke] | 2005 | Proceedings Article |
| Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150 | Eisenbrand, Friedrich
[Schulz, Andreas S.] | [Cornuéjols, Gérard]
Burkard, Rainer E.
Woeginger, Gerhard J. | 1999 | Proceedings Article |
| Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
In: INFORMS Journal on Computing [10], 287-300 | Bockmayr, Alexander
Kasper, Thomas | | 1998 | Journal Article |
| Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31 | Hoffmann, Jörg
[Geffner, Hector] | [Giunchiglia, Enrico]
[Muscettola, Nicola]
[Nau, Dana] | 2003 | Proceedings Article |
| Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301 | Bachmair, Leo
Ganzinger, Harald | Jouannaud, Jean-Pierre | 1994 | Proceedings Article |
| Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861 | Waldmann, Uwe | | 2002 | Journal Article |
| Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829 | Waldmann, Uwe | | 2002 | Journal Article |
| Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes | Waldmann, Uwe | | 1997 | Thesis - PhD thesis |
| Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147 | Waldmann, Uwe | Ganzinger, Harald
[McAllester, David]
[Voronkov, Andrei] | 1999 | Proceedings Article |
| Canonical Transformation in Algebra, Universal Algebra and Logic
Universität des Saarlandes | Struth, Georg | | 1998 | Thesis - PhD thesis |
| Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Prevosto, Virgile | [Coquand, Thierry]
[Lombardi, Henri]
[Roy, Marie-Franccoise] | 2006 | Electronic Proceedings Article |
| Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica | | 2000 | Proceedings Article |
| Circumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301 | Jaeger, Manfred | | 1993 | Journal Article |
| Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13 | Hillenbrand, Thomas | [Dahn, Ingo]
[Vigneron, Laurent] | 2003 | Electronic Proceedings Article |
| Classical Methods in Nonmonotonic Reasoning
In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), 500-510 | Dimopoulos, Yannis | Ras, Z.
Zemankova, M. | 1994 | Proceedings Article |
| Clause Killer Transformations | Ohlbach, Hans Jürgen | | 1995 | Unpublished/Draft |
| Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | Charatonik, Witold
Podelski, Andreas | [Nipkow, Tobias] | 1998 | Proceedings Article |
| Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | [Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A. | Cohn, Tony | 1994 | Proceedings Article |
| Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen | Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej | 1995 | Proceedings Article |
| Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | [Balbiani, Philippe]
[Suzuki, Nobu-Yuki]
[Wolter, Frank]
[Zakharyaschev, Michael] | 2003 | Part of a Book |