| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| 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 |
| The Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500 | Hillenbrand, Thomas
[Löchner, Bernd] | [Voronkov, Andrei] | 2002 | Proceedings Article |
| The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21 | Hillenbrand, Thomas
[Löchner, Bernd] | de Nivelle, Hans
[Schulz, Stephan] | 2001 | Proceedings Article |
| The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275 | Veanes, Margus | Pratt, Vaughan | 1998 | Proceedings Article |
| The Saturate System | Ganzinger, Harald | | 1994 | Unpublished/Draft |
| The Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71 | Plaisted, David A. | Bundy, Alan | 1994 | Proceedings Article |
| The temporal analysis of Chisholm's paradox
In: Proceedings of the 15th National Conference, and 10th Conference on Innovative Applications of Artificial Intelligence (AAAI-98) and (IAAI-98), 650-655 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1998 | Proceedings Article |
| The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34 | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | [Longo, Giuseppe] | 1999 | Proceedings Article |
| The undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213 | Vorobyov, Sergei | | 2002 | Journal Article |
| The $\exists \forall^2$ fragment of the First-Order Theory of Set Constraints is $\pi^0_1$-hard
In: Information Processing Letters [74], 27-33 | Talbot, Jean-Marc | | 2000 | Journal Article |
| The `hardest´ natural decidable theory
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 294-305 | Vorobyov, Sergei | Winskel, Glynn | 1997 | Proceedings Article |
| Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes | Podelski, Andreas | | 1998 | Thesis - Habilitation thesis |
| Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes | Hanus, Michael | | 1994 | Thesis - Habilitation thesis |
| Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Universität des Saarlandes | Basin, David A. | | 1995 | Thesis - Habilitation thesis |
| Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Ohlbach, Hans Jürgen | | 1993 | Thesis - Habilitation thesis |
| Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434 | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | Kirchner, Hélène
Levi, G. | 1992 | Proceedings Article |
| Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402 | Ganzinger, Harald
Waldmann, Uwe | McRobbie, Michael A.
Slaney, John K. | 1996 | Proceedings Article |
| Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Ganzinger, Harald
[Korovin, Konstantin] | [Hermann, Miki]
[Voronkov, Andrei] | 2006 | Proceedings Article |
| Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Ganzinger, Harald
[Korovin, Konstantin] | [Hermann, Miki]
[Voronkov, Andrei] | 2006 | Proceedings Article |
| Theory path orderings
In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162 | Stuber, Jürgen | [Narendran, Paliath]
[Rusinowitch, Michael] | 1999 | Proceedings Article |
| Thoughts on Evolving Science and Belief
In: Proceedings of the Workshop "Scientific Reasoning in AI and Philosophy of Science" at the 14th European Conference on Artificial Intelligence (ECAI-00), 62-69 | Weydert, Emil | | 2000 | Proceedings Article |
| Thread-Modular Verification and Cartesian Abstraction | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | [Gopalakrishnan, Ganesh]
[O'Leary, John] | 2006 | Unpublished/Draft |
| Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | [Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio] | 2006 | Proceedings Article |
| Three Remarks on Comprehensive Gröbner and SAGBI Bases
In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), 191-202 | [Göbel, Manfred]
Maier, Patrick | [Ganzha, Victor G.]
[Mayr, Ernst W.]
[Vorozhtsov, Evgenii V.] | 2000 | Proceedings Article |
| Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | [Jensen, Kurt]
Podelski, Andreas | | 2006 | Journal Article |
| Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 | | [Jensen, Kurt]
Podelski, Andreas | 2004 | Proceedings |
| Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318 | [Firozabadhi, Babak Sadighi]
van der Torre, Leendert W. N. | Prade, Henri | 1998 | Proceedings Article |
| Towards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382 | Weidenbach, Christoph | Ganzinger, Harald | 1999 | Proceedings Article |
| Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90 | [Brink, Chris]
Gabbay, Dov M.
Ohlbach, Hans Jürgen | | 1994 | Journal Article |
| Towards the Global Optimization of Functional Logic Programs
In: Proc.~Workshop on Global Compilation, International Logic
Programming Symposium, 83-97 | Hanus, Michael | | 1993 | Proceedings Article |