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

Publications Master Template, generated: 17:54, 5 December 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Christoph Weidenbach
    Combining Superposition, Sorts and Splitting
    In: Handbook of Automated Reasoning, 2001, 1965-2013
  2. Andreas Nonnengart and Christoph Weidenbach
    Computing small clause normal forms
    In: Handbook of Automated Reasoning, 2001, 335-367
  3. Andreas Nonnengart, Hans Jürgen Ohlbach, and Dov M. Gabbay
    Encoding two-valued non-classical logics in classic logic
    In: Handbook of Automated Reasoning, 2001, 1403-1486
  4. Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet
    Resolution Decision Procedures
    In: Handbook of Automated Reasoning, 2001, 1793-1849
  5. Alexander Bockmayr and V. Weispfenning
    Solving numerical constraints
    In: Handbook of Automated Reasoning, 2001, 751-842