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

MPI-INF RG1 Publications, generated: 19:29, 16 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Viorica Sofronie-Stokkermans
    Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms-
    In: Interaction versus Automation : the two Faces of Deduction, Schloss Dagstuhl, 2010, 1-33
  2. Florent Jacquemard, Christoph Meyer, and Christoph Weidenbach
    Unification in Extensions of Shallow Equational Theories
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March, 30th - April, 1st, 1998, 76-90
  3. Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, and Andrei Voronkov
    On the Evaluation of Indexing Techniques for Theorem Proving
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June, 18-22, 2001, 257-271
    [PS: Download: evaluation.ps]
  4. Uwe Waldmann
    Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June, 18-22, 2001, 226-241