| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155 | Bockmayr, Alexander
[Krischer, Stefan]
[Werner, Andreas] | | 1995 | Journal Article |
| Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | Basin, David A.
Matthews, Seán
Viganò, Luca | | 1998 | Journal Article |
| New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | Ganzinger, Harald
Korovin, Konstantin | [Kolaitis, Phokion] | 2003 | Proceedings Article |
| New Results on Lattice Basis Reduction in Practice
In: Proceedings of the 4th International Algorithmic Number Theory Symposium (ANTS-IV), 135-152 | Backes, Werner
[Wetzel, Susanne] | Bosma, Wieb | 2000 | Proceedings Article |
| Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria
In: Logic Programming and Automated Reasoning, 273-284 | Bachmair, Leo
Ganzinger, Harald | Voronkov, A. | 1992 | Proceedings Article |
| NP-hard sets are superterse unless NP is small
In: Information Processing Letters [61], 1-6 | Wang, Yongge | | 1997 | Journal Article |
| Numeric Defaults. About an expressive first-order framework for reasoning with infinitesimal probabilities
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 95), 420-427 | Weydert, Emil | [Froideveaux, Christine]
[Kohlas, Jürg] | 1995 | Proceedings Article |
| Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | [Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio] | | 2000 | Journal Article |
| On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes | Fischmann, Matthias | | 1999 | Thesis - Masters thesis |
| On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412 | [Goncharov, Sergey]
[Harizanov, Valentina]
[Knight, Julia F.]
[Morozov, Andrey]
Romina, Anya | | 2005 | Journal Article |
| On Computing Logic Programs
In: Journal of Automated Reasoning [17], 259-289 | Dimopoulos, Yannis | | 1996 | Journal Article |
| On Evaluating Decision Procedures for Modal Logics
In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207 | Hustadt, Ullrich
Schmidt, Renate A. | Pollack, Martha E. | 1997 | Proceedings Article |
| On Extra Variables in (Equational) Logic Programming
In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679 | Hanus, Michael | | 1995 | Proceedings Article |
| On Factor Refinement in Number Fields
In: Mathematics of Computation [68], 345-350 | [Buchmann, Johannes]
Eisenbrand, Friedrich | | 1999 | Journal Article |
| On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | [Kirchner, Claude]
[Kirchner, Hélène] | 1998 | Proceedings Article |
| On Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence, | Dimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos | | 1993 | Journal Article |
| On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | Charatonik, Witold
[Amadio, Roberto] | [Brim, Lubos]
[Jancar, Petr]
[Kretinsky, Mojomir]
[Kucera, Antonin] | 2002 | Proceedings Article |
| On the Alternation-free Horn mu-calculus
In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), 418-435 | Talbot, Jean-Marc | [Parigot, Michel]
[Voronkov, Andrei] | 2000 | Proceedings Article |
| On the bounded theories of finite trees
In: Second Asian Computing Science Conference, ASIAN'96, 152-161 | Vorobyov, Sergei | [Jaffar, Joxan]
[Yap, Roland H. C.] | 1996 | Proceedings Article |
| On the Church-Rosser Property in Left-Linear Systems | Socher-Ambrosius, Rolf | | 1991 | Report |
| On the Chvátal Rank of Polytopes in the 0/1 Cube
In: Discrete Applied Mathematics [98], 21-27 | Bockmayr, Alexander
Eisenbrand, Friedrich
[Hartmann, Mark]
[Schulz, Andreas S.] | | 1999 | Journal Article |
| On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206 | Hanus, Michael | Apt, Krzysztof | 1992 | Proceedings Article |
| On the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308 | Jaeger, Manfred | | 2000 | Journal Article |
| On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | [Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei] | [Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias] | 2001 | Proceedings Article |
| On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744 | Chadha, Ritu
Plaisted, David A. | | 1993 | Journal Article |
| On the Membership Problem for the Elementary Closure of a Polyhedron
In: Combinatorica [19], 297-300 | Eisenbrand, Friedrich | | 1999 | Journal Article |
| On the Parallel Complexity of Acyclic Logic Programs
In: Parallel Processing Letters [6], 223-230 | Chaudhuri, Shiva
Dimopoulos, Yannis
Zaroliagis, Christos | | 1996 | Journal Article |
| On the Relation Between Completion Based and Resolution Based Theorem Proving
In: Journal of Symbolic Computation [11], 129-148 | Socher-Ambrosius, Rolf | | 1991 | Journal Article |
| On the relation of resolution and tableaux proof systems for description logics
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 110-115 | Hustadt, Ullrich
Schmidt, Renate A. | | 1999 | Proceedings Article |
| On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | [Horrocks, Ian]
[Tessaris, Sergio] | 2002 | Proceedings Article |