| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66 | Basin, David A. | | 1994 | Journal Article |
| A Theoretical Basis for Constraint Logic and Functional Programming
In: Proc.~1st African Conference on Research in Computer Science, 793-804 | Bockmayr, Alexander | Tchuente, M. | 1992 | Proceedings Article |
| A Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354 | Matthews, Seán | Gabbay, Dov M. | 1994 | Part of a Book |
| A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | [de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki] | | 2002 | Proceedings Article |
| A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Basin, David A.
Matthews, Seán
Viganò, Luca | Baader, Franz
Schulz, Klaus U. | 1996 | Part of a Book |
| A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | Mukhopadhyay, Supratik | | 2001 | Thesis - PhD thesis |
| A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120 | Fehrer, Detlef | Clarke, M.
Kruse, R.
Moral, S. | 1993 | Proceedings Article |
| A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes | Kasper, Thomas | | 1998 | Thesis - PhD thesis |
| A unifying logical framework for reason maintenance
Universität des Saarlandes | Fehrer, Detlef | | 1995 | Thesis - PhD thesis |
| A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55 | Fehrer, Detlef | Cunningham, Jim
Pitt, Jeremy | 1994 | Proceedings Article |
| Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ? | Hustadt, Ullrich | Codognet, P.
Dung, P. M.
Kakas, A. C.
Mancarella, P. | 1993 | Proceedings Article |
| Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101 | [Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey | [Hankin, Chris]
[Siveroni, Igor] | 2005 | Proceedings Article |
| Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Schäf, Martin | | 2006 | Thesis - Masters thesis |
| AC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59 | Korovin, Konstantin
[Voronkov, Andrei] | [Baader, Franz] | 2003 | Proceedings Article |
| Accurate Widenings and Boundedness Properties of Timed Systems
In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94 | Mukhopadhyay, Supratik
Podelski, Andreas | Zamulin, Alexandre
Broy, Manfred
Bjorner, Dines | 2001 | Proceedings Article |
| Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52 | [Kupferschmid, Sebastian]
Hoffmann, Jörg
[Dierks, Henning]
[Behrmann, Gerd] | [Valmari, Antti] | 2006 | Proceedings Article |
| Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes | Rau, Rainer | | 1997 | Thesis - Masters thesis |
| Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849 | Basin, David A.
Matthews, Seán | | 1996 | Journal Article |
| Advanced indexing operations on substitution trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 553-567 | Graf, Peter
Meyer, Christoph | McRobbie, M. A.
Slaney, J. K. | 1996 | Proceedings Article |
| Algebraic and Logical Aspects of Unification
In: Proc.~1st Workshop on Word Equations and Related Topics, 171-180 | Bockmayr, Alexander | Schulz, K. U. | 1992 | Proceedings Article |
| Algebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes | Sofronie-Stokkermans, Viorica | | 2004 | Thesis - Habilitation thesis |
| An Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156 | [Yuan, Cong]
[Billington, Jonathan]
Freiheit, Jörn | | 2005 | Proceedings Article |
| An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169 | Mukhopadhyay, Supratik
Podelski, Andreas | [Koenig, Sven]
[Holte, Robert C.] | 2002 | Proceedings Article |
| An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
In: Journal of Applied Non-Classical Logics [8], 353-360 | Wu, Jinzhao
[Tan, Hongyan]
[Li, Yongli] | | 1998 | Journal Article |
| An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
In: Journal of Symbolic Computation [34], 461-477 | Xia, Bican
[Yang, Lu] | | 2002 | Journal Article |
| An Empirical Analysis of Modal Theorem Provers
In: Journal of Applied Non-Classical Logics [9], 479-522 | Hustadt, Ullrich
Schmidt, Renate A. | | 1999 | Journal Article |
| An improved lower bound for the elementary theories of trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 275-287 | Vorobyov, Sergei | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
| An Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130 | de Nivelle, Hans | [Faller, Martina]
[Kaufmann, Stefan]
[Pauly, Marc] | 2000 | Proceedings Article |
| An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151 | Charatonik, Witold | | 1998 | Journal Article |
| An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | [Laskey, Kathryn B.]
[Prade, Henri] | 1999 | Proceedings Article |