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

MPI-INF RG1 Publications, generated: 8:16, 21 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. 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:]
  2. Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, and Reinhard Wilhelm
    Harald Ganzinger's Legacy: Contributions to Logics and Programming
    In: Programming Logics, Festschrift, 2013
  3. Andrei Voronkov Voronkov and Christoph Weidenbach
    Programming Logics - Essays in Memory of Harald Ganzinger
    , Springer, Heidelberg, 2013, 445 p.