| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| Tableau Calculi for Hybrid Logics
In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, 278-292 | Tzakova, Miroslava | [Murray, Neil V.] | 1999 | Proceedings Article |
| Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic |  | Gabbay, Dov M.
Ohlbach, Hans Jürgen | 1994 | Proceedings |
| Term Indexing | Graf, Peter | Carbonell, J. G.
[Siekmann, J.] | 1996 | Book |
| Term Indexing
Universität des Saarlandes | Graf, Peter | | 1995 | Thesis - PhD thesis |
| Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | [Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel] | [Bläsius, K.H.]
[Bürckert, Hans-Jürgen] | 1992 | Part of a Book |
| Termination Orderings for Rippling
In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), 466-483 | Basin, David A.
[Walsh, Toby] | Bundy, Alan | 1994 | Proceedings Article |
| Termination Proofs for Systems Code
In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 415-426
In: ACM SIGPLAN Notices [41], 415-426 | [Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey | | 2006 | Proceedings Article |
| Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437 | Ganzinger, Harald
Waldmann, Uwe | Rusinowitch, M.
Rémy, J.-L. | 1992 | Proceedings Article |
| Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | [Ball, Thomas]
[Jones, Robert B.] | 2006 | Proceedings Article |
| Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136 | Schmidt, Renate A. | Kunze, Jürgen
Stoyan, Herbert | 1994 | Proceedings Article |
| Terminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371 | Schmidt, Renate A. | Ohlbach, Hans Jürgen | 1993 | Proceedings Article |
 | Testing the Satisfiability of RPO Constraints
Universität des Saarlandes | Timm, Jan-Georg | | 1997 | Thesis - Masters thesis |
| The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119 | Basin, David A.
Kaufmann, Matt | Huet, Gérard
Plotkin, Gordon | 1991 | Proceedings Article |
| The Complexity of Model Checking Mobile Ambients | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc] | | 2001 | Report |
| The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc | [Honsell, Furio]
[Miculan, Marino] | 2001 | Proceedings Article |
| The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65 | Dimopoulos, Yannis | MacNish, Craig
Pearce, David
Pereira, Luís Moniz | 1994 | Proceedings Article |
| The Decidability of Model Checking Mobile Ambients
In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, 339-354 | Charatonik, Witold
[Talbot, Jean-Marc] | Fribourg, Laurent | 2001 | Proceedings Article |
| 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 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | [Nipkow, Tobias] | 1998 | Proceedings Article |
| The Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579 | Hoffmann, Jörg | | 2005 | Journal Article |
| The first-order theory of one step rewriting in linear noetherian systems is undecidable
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 254-268 | Vorobyov, Sergei | [Comon, Hubert] | 1997 | Proceedings Article |
| The ground-negative fragment of first-order logics is $\pi^p_2$-complete
In: The Journal of Symbolic Logic [64], 984-990 | Voronkov, Andrei | | 1999 | Journal Article |
| The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor] | [Pratt, Vaughan] | 1998 | Proceedings Article |
| The Independence Property of a Class of Set Constraints
In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), 76-90 | Charatonik, Witold
Podelski, Andreas | [Freuder, Eugene] | 1996 | Proceedings Article |
| The Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628 | Hanus, Michael | | 1994 | Journal Article |
| The lexicographic closure as a revision process
In: Journal of Applied Non-Classical Logics [11], 35-58 | Booth, Richard | | 2001 | Journal Article |
| The lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ? | Booth, Richard | Baral, C.
Truszczynski, M. | 2000 | Electronic Proceedings Article |
| The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Ohlbach, Hans Jürgen
Siekmann, Jörg H. | Lassez, J. L.
Plotkin, Gordon | 1991 | Proceedings Article |
| The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
In: Journal of Artificial Intelligence Research [20], 51 | Hoffmann, Jörg | | 2003 | Journal Article |
| The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | Baumgartner, Peter
[Tinelli, Cesare] | [Nieuwenhuis, Robert] | 2005 | Proceedings Article |
| The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | [Gaillourdet, Jean-Marie]
Hillenbrand, Thomas
[Löchner, Bernd]
[Spies, Hendrik] | [Baader, Franz] | 2003 | Proceedings Article |
