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

MPI-INF RG1 Publications, generated: 21:07, 22 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. 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
  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]