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

Publications Master Template, generated: 8:38, 18 October 2019

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. 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
  2. Chris Brink, Dov M. Gabbay, and Hans Jürgen Ohlbach
    Towards Automating Duality
    Journal of Computers and Mathematics with Applications 29 (2): 73-90, 1994. Note: Special Issue on Automated Reasoning. Also available as Research Report MPI-I-93-220, Saarbrücken
  3. J. Cunningham, Dov M. Gabbay, and Hans Jürgen Ohlbach
    Towards the MEDLAR Framework
    In: ESPRIT '91 Conference Proceedings, Brussels, Belgium, 1991, 822-841
  4. Dov M. Gabbay and Hans Jürgen Ohlbach
    From a Hilbert Calculus to its Model Theoretic Semantics
    In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), London, UK, 1992, 218-252
  5. Dov M. Gabbay and Hans Jürgen Ohlbach
    Quantifier Elimination in Second-Order Predicate Logic
    In: Principles of Knowledge Representation and Reasoning (KR92),, 1992, 425-435. Note: Also available as Research Report MPI-I-92-213
  6. Dov M. Gabbay and Hans Jürgen Ohlbach
    Quantifier Elimination in Second-Order Predicate Logic
    South African Computer Journal 7: 35-43, 1992. Note: Also appeared in Proc.~3rd Intern.~Conference on Principles of Knowledge Representation and Reasoning, editors: B. Nebel, C. Rich and W. Swartout, pp.~425-435, Morgan Kaufmann, 1992. Also available as Research Report MPI-I-92-213