| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| 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 |
| On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23 | [Cuntz, Nicolas]
Freiheit, Jörn
[Kindler, Ekkart] | [Nuettgens, Markus]
[Rump, Frank J.] | 2005 | Proceedings Article |
| On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150 | [Levy, Jordi]
Veanes, Margus | | 2000 | Journal Article |
| On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171 | Sofronie-Stokkermans, Viorica | Ganzinger, Harald | 1999 | Proceedings Article |
| On the Word Problem for Free Lattices
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 128-141 | Struth, Georg | [Comon, Hubert] | 1997 | Proceedings Article |
| On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143 | [Lu, Mi]
Wu, Jinzhao | | 2000 | Journal Article |
| On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411 | Sofronie-Stokkermans, Viorica | [Prade, Henri] | 1998 | Proceedings Article |
| On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ? | Sofronie-Stokkermans, Viorica | | 2007 | Journal Article |