Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 9:49, 11 December 2019

Search the publication database

  . Return

Your search returned the following 16 documents:

  1. Patrick Maier
    A Framework for Circular Assume-Guarantee Rules
    In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, Germany, March 4 - 6, 2002, 2002, 55-58
  2. Thomas Hillenbrand, Andreas Podelski, and Dalibor Topić
    Is Logic Effective for Analyzing C Programs?
    In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, 2002, 27-30
    [PS: Download: analysis.ps]
  3. Yevgeny Kazakov
    Recursive resolution for modal logic
    In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, Germany, 2002, 11-15
    [Download: RecResML.dvi]
  4. Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur(Ed.)
    Deduction
    Dagstuhl-Seminar-Report. , IBFI, Wadern, 2000
  5. Uwe Waldmann
    Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
    In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), Tbilisi, Georgia, September 6-10, 1999, 131-147. Note: %Earlier version: Technical Report MPI-I-1999-2-003, Max-Planck-Institut für Informatik, Saarbrücken
  6. Ullrich Hustadt and Renate A. Schmidt
    Maslov's Class K Revisited
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July, 7 - 10, 1999, 172-186
  7. Viorica Sofronie-Stokkermans
    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), Trento, Italy, July 7-10, 1999, 1999, 157-171
    [PDF: Download: cade-99.pdf]
  8. Hans de Nivelle, Carlos Areces, and Maarten de Rijke
    Prefixed Resolution: A Resolution Method for Modal and Description Logics
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July 7-10, 1999, 1999, 187-201
  9. Harald Ganzinger(Eds.)
    Proceedings of the 16th International Conference on Automated Deduction (CADE-16)
    Lecture Notes in Artificial Intelligence. 1632, , Springer, Berlin, 1999
  10. Harald Ganzinger, David McAllester, and Andrei Voronkov(Ed.)
    Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)
    Lecture Notes in Artificial Intelligence. 1705, , Springer, Berlin, 1999. Note: Earlier version: Technical Report MPI-I-1999-2-003, Max-Planck-Institut für Informatik, Saarbrücken
  11. Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topić
    System Description: SPASS Version 1.0.0
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, 1999, 314-318
  12. Christoph Weidenbach
    Towards an Automatic Analysis of Security Protocols in First-Order Logic
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July 7-10, 1999, 1999, 378-382
  13. Harald Ganzinger and Jürgen Stuber
    Inductive theorem proving by consistency for first-order clauses
    In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 1992, 441-462. Note: Also in Proc.~CTRS'92, LNCS~656, pp.~226--241
  14. M. R. K. Krishna Rao
    Modularity of termination in term graph rewriting
    In: Rewriting Techniques and Applications, New Brunswick, July, 1996, 230-244
  15. Harald Ganzinger(Eds.)
    Rewriting Techniques and Applications, 7th International Conference, RTA-96
    Lecture Notes in Computer Science. 1103, , Springer, Berlin, 1996. Note: One of the conferences participating in the 1996 Federated Logic Conference (FLoC)
  16. Jürgen Stuber
    Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
    In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, USA, July 1996, 1996, 33-47