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

Publications Master Template, generated: 5:10, 20 November 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Harald Ganzinger and Robert Nieuwenhuis
    Constraints and Theorem Proving
    In: Contraints in Computational Logics, International Summer School (CCL-99), Gif-sur-Yvette, France, 2001, 159-201
    [PS: Download: 2001CCL.ps.gz] [Download: 2001CCL.dvi]
  2. Georg Struth
    On the Word Problem for Free Lattices
    In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), Sitges, Spain, June, 02 - June, 04, 1997, 128-141
  3. Sergei Vorobyov
    The first-order theory of one step rewriting in linear noetherian systems is undecidable
    In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), Sitges, Spain, June 2-4, 1997, 1997, 254-268