| BibTeX cite key | Author/Editor | Year | | Title | Type |
|---|
| Naumann-Diplom97 | Naumann, Stefan | 1997 | | Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes | Thesis - Masters thesis |
| NiehrenMuellerTalbot_LICS1999 | Talbot, Jean-Marc
Niehren, Joachim
Müller, Martin | 1999 | | Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Proceedings Article |
| NieuwenhuisHillenbrandRiazanovVoronkov2001 | Nieuwenhuis, Robert
Hillenbrand, Thomas
Riazanov, Alexandre
Voronkov, Andrei | 2001 |  | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | Proceedings Article |
| NiSe01esop | Nielson, Flemming
Seidl, Helmut | 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 |
| NivatPodelski97 | Nivat, Maurice
Podelski, Andreas | 1997 | | Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58 | Journal Article |
| NivelleYevgeny2004 | de Nivelle, Hans
Kazakov, Yevgeny | 2004 | | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | Report |
| Nonnengart-Dissertation | Nonnengart, Andreas | 1995 | | A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes | Thesis - PhD thesis |
| Nonnengart1998 | Nonnengart, Andreas | 1998 | | Modal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899 | Journal Article |
| nonnengart93a | Nonnengart, Andreas | 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 |
| Nonnengart98 | Nonnengart, Andreas | 2001 | | Strong Skolemization | Unpublished/Draft |
| NonnengartCADE96 | Nonnengart, Andreas | 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 |
| NonnengartJELIA94 | Nonnengart, Andreas | 1994 | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article |
| NonnengartOhlbach92a | Nonnengart, Andreas
Ohlbach, Hans Jürgen | 1992 | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book |
| NonnengartOhlbachGabbay2001 | Nonnengart, Andreas
Ohlbach, Hans Jürgen
Gabbay, Dov M. | 2001 | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book |
| NonnengartOhlbachSzalas98 | Nonnengart, Andreas
Ohlbach, Hans Jürgen
Szalas, Andrzej | 2001 | | Quantifier Elimination for Second-Order Predicate Logic | Unpublished/Draft |
| NonnengartRockWeidenbach98 | Nonnengart, Andreas
Rock, Georg
Weidenbach, Christoph | 1998 | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article |
| NonnengartSzalas1999 | Nonnengart, Andreas
Szalas, Andrzej | 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 |
| NonnengartWeidenbach2001handbook | Nonnengart, Andreas
Weidenbach, Christoph | 2001 | | Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Part of a Book |
| Ohlbach88 | Ohlbach, Hans Jürgen | 1988 | | A Resolution Calculus for Modal Logics
Universität Kaiserslautern | Thesis - PhD thesis |
| Ohlbach91a | Ohlbach, Hans Jürgen | 1991 | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Journal Article |
| Ohlbach92a | Ohlbach, Hans Jürgen | 1992 | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article |
| Ohlbach93a | Ohlbach, Hans Jürgen | 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 |
| Ohlbach93c | Ohlbach, Hans Jürgen | 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 |
| Ohlbach95a | Ohlbach, Hans Jürgen | 1995 | | Clause Killer Transformations | Unpublished/Draft |
| Ohlbach95b | Ohlbach, Hans Jürgen | 1995 | | Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Unpublished/Draft |
| Ohlbach96-CADE-13 | Ohlbach, Hans Jürgen | 1996 | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article |
| OhlbachHabil1993 | Ohlbach, Hans Jürgen | 1993 | | Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Thesis - Habilitation thesis |
| OhlbachHerzig91a | Ohlbach, Hans Jürgen
Herzig, A. | 1991 | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article |
| OhlbachKoehler96 | Ohlbach, Hans Jürgen
Koehler, Jana | 1996 | | Reasoning about Sets via Atomic Decomposition | Report |
| OhlbachLPAR93 | Ohlbach, Hans Jürgen | 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 |
