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

Publications Master Template, generated: 4:14, 24 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Leo Bachmair and Harald Ganzinger
    Resolution Theorem Proving
    In: Handbook of Automated Reasoning, 2001, 19-99
    [PS: Download: 2001Handbook.ps.gz]
  2. Leo Bachmair and Harald Ganzinger
    Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria
    In: Logic Programming and Automated Reasoning, St.\ Petersburg, Russia, 1992, 1992, 273-284
  3. Peter Barth
    Linear 0-1 Inequalities and Extended Clauses
    In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, St. Petersburg, Russia, 1993, 1993, 40-51
  4. Hans J├╝rgen Ohlbach
    Optimized Translation of Multi Modal Logic into Predicate Logic
    In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), St. Petersburg, Russia, July, 1993, 253-264