BibTeX cite key | Author/Editor | Year | | Title | Type |
mod-modal | Basin, David A.
Krieg-Brückner, Bernd | 1999 | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Part of a Book |
Mohr95 | Mohr, Erik | 1995 | | Resolution-Based Calculi for Modal Logics
Universität des Saarlandes | Thesis - Masters thesis |
MP-SARA02 | Mukhopadhyay, Supratik
Podelski, Andreas | 2002 | | An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169 | Proceedings Article |
MuellerNiehrenPodelski97a | Müller, Martin
Niehren, Joachim
Podelski, Andreas | 1997 | | Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article |
Mukhopadhyay-Thesis-2001 | Mukhopadhyay, Supratik | 2001 | | A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | Thesis - PhD thesis |
Mukhopadhyay2000 | Mukhopadhyay, Supratik
Podelski, Andreas | 2000 | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article |
MukhopadhyayPodelski2001 | Mukhopadhyay, Supratik
Podelski, Andreas | 2001 | | Constraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258 | Proceedings Article |
MukhopadhyayPodelskiErshov2001 | Mukhopadhyay, Supratik
Podelski, Andreas | 2001 | | Accurate Widenings and Boundedness Properties of Timed Systems
In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94 | Proceedings Article |
MukhopadhyayPodelskiFSTTCS1999 | Mukhopadhyay, Supratik
Podelski, Andreas | 1999 | | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | Proceedings Article |
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 |