Author/Editor [Non Institute] | Year | | Title | Type |
Naumann
[-] | 1997 | | Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes | Thesis - Masters thesis |
Nielson, Seidl
(Ed: Hussmann)
[Seidl] | 2001 | | Control-Flow Analysis in Cubic Time
In: Proceedings of the 10th European Symposium on Programming (ESOP-01) held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 252-268 | Proceedings Article |
Nieuwenhuis, Hillenbrand, Riazanov, Voronkov
(Ed: Goré, Leitsch, Nipkow)
[Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow] | 2001 | | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | Proceedings Article |
Nivat, Podelski
[Nivat] | 1997 | | Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58 | Journal Article |
Nonnengart
(Ed: Bajcsy)
[Bajcsy] | 1993 | | First-Order Modal Logic Theorem Proving and Functional Simulation
In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85 | Proceedings Article |
Nonnengart
(Ed: MacNish, Pearce, Pereira)
[MacNish, Pearce, Pereira] | 1994 | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article |
Nonnengart
(Ed: McRobbie, Slaney)
[McRobbie, Slaney] | 1996 | | Resolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612 | Proceedings Article |
Nonnengart
[-] | 2001 | | Strong Skolemization | Unpublished/Draft |
Nonnengart
[-] | 1998 | | Modal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899 | Journal Article |
Nonnengart
[-] | 1995 | | A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes | Thesis - PhD thesis |
Nonnengart, Ohlbach
(Ed: Bläsius, Bürckert)
[Bläsius, Bürckert] | 1992 | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book |
Nonnengart, Ohlbach, Gabbay
(Ed: Robinson, Voronkov)
[Ohlbach, Gabbay] | 2001 | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book |
Nonnengart, Ohlbach, Szalas
[Szalas, Ohlbach] | 2001 | | Quantifier Elimination for Second-Order Predicate Logic | Unpublished/Draft |
Nonnengart, Rock, Weidenbach
(Ed: Kirchner, Kirchner)
[Rock, Kirchner, Kirchner] | 1998 | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article |
Nonnengart, Szalas
(Ed: Orlowska)
[Szalas, Orlowska] | 1999 | | A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18 | Part of a Book |
Nonnengart, Weidenbach
(Ed: Robinson, Voronkov)
[Robinson, Voronkov] | 2001 | | Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Part of a Book |
Ohlbach
(Ed: Kobsa)
[-] | 1993 | | Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26 | Proceedings Article |
Ohlbach
(Ed: McRobbie, Slaney)
[McRobbie, Slaney] | 1996 | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article |
Ohlbach
(Ed: Voronkov)
[Voronkov] | 1993 | | Optimized Translation of Multi Modal Logic into Predicate Logic
In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264 | Proceedings Article |
Ohlbach
[-] | 1995 | | Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Unpublished/Draft |
Ohlbach
[-] | 1995 | | Clause Killer Transformations | Unpublished/Draft |
Ohlbach
[-] | 1993 | | Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Thesis - Habilitation thesis |
Ohlbach
[-] | 1993 | | Translation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90 | Journal Article |
Ohlbach
[-] | 1992 | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article |
Ohlbach
[-] | 1991 | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Journal Article |
Ohlbach
[-] | 1988 | | A Resolution Calculus for Modal Logics
Universität Kaiserslautern | Thesis - PhD thesis |
Ohlbach, Herzig
[-] | 1991 | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article |
Ohlbach, Koehler
[Koehler] | 1996 | | Reasoning about Sets via Atomic Decomposition | Report |
Ohlbach, Schmidt
[-] | 1997 | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | Journal Article |
Ohlbach, Schmidt, Hustadt
(Ed: Borgida, Lenzerini, Nardi, Nebel)
[Borgida, Lenzerini, Nardi, Nebel] | 1995 | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article |