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

Publications Master Template, generated: 5:36, 19 November 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Hans de Nivelle, Marc Bezem, and Dimitri Hendriks
    Automated Proof Construction in Type Theory Using Resolution
    In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Carnegie Mellon University, Pittsburgh, PA, USA, June 17-20, 2000, 2000, 148-163
  2. Viorica Sofronie-Stokkermans
    On unification for bounded distributive lattices
    In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Pittsburgh, Pennsylvania, USA, June 17-20, 2000, 465-481
    [PS: Download: sofronie-cade2000.ps]
  3. 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
  4. 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