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

Publications Master Template, generated: 9:23, 27 January 2020

Search the publication database

  . Return

Your search returned the following 9 documents:

  1. Harald Ganzinger and David McAllester
    A new meta-complexity theorem for bottom-up logic programs
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, 2001, 514-528
    [PDF: Download: _01IJCAR-2.pdf]
  2. Hans de Nivelle and Ian Pratt-Hartmann
    A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001, 2001, 211-225
  3. Harald Ganzinger, Robert Nieuwenhuis, and Pilar Nivela
    Context trees
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, 2001, 242-256
    [PDF: Download: _01IJCAR-1.pdf]
  4. 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]
  5. 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
  6. Witold Charatonik and Andreas Podelski
    Co-definite Set Constraints
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 1998, 211-225
  7. Renate A. Schmidt
    E-Unification for Subsystems of S4
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 106-120
  8. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov
    The Decidability of Simultaneous Rigid E-Unification with One Variable
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 1998, 181-195
  9. 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