| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50 | Basin, David A.
Friedrich, Stefan | [von Wright, J.]
[Grundy, J.]
[Harrison, J.] | 1996 | Proceedings Article |
| Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523 | Sofronie-Stokkermans, Viorica
[Stokkermans, Karel] | [Ciobanu, Gabriel]
[Paun, Gheorghe] | 1999 | Proceedings Article |
| Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9 | Barth, Peter
Bockmayr, Alexander | | 1996 | Proceedings Article |
| Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | [Barth, Peter]
Bockmayr, Alexander | | 1998 | Journal Article |
| Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86 | Krishna Rao, M. R. K. | | 1998 | Journal Article |
| Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | 2006 | Journal Article |
| Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | Basin, David
Rusinowitch, Michael | 2004 | Proceedings Article |
| Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512 | Krishna Rao, M. R. K. | | 1995 | Journal Article |
| Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244 | Krishna Rao, M. R. K. | Ganzinger, Harald | 1996 | Proceedings Article |
| Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes | Brahm, Uwe | | 2013 | Thesis - Masters thesis |
| Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36 | Schmidt, Renate A.
[Tishkovsky, Dmitry] | | 2004 | Journal Article |
| Multi-Agent Logic of Dynamic Belief and Knowledge | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | 2003 | Unpublished/Draft |
| Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | [Flesca, Sergio]
[Greco, Sergio]
[Leone, Nicola]
[Ianni, Giovambattista] | 2002 | Proceedings Article |
| Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | Gupta, Gopal | 1999 | Proceedings Article |
| 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 |