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

MPI-INF RG1 Publications, generated: 17:32, 19 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Andreas Nonnengart and Christoph Weidenbach
    Computing small clause normal forms
    In: Handbook of Automated Reasoning, 2001, 335-367
  2. Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans J├╝rgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
    Description Logics for Natural Language Processing
    In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
  3. Andreas Nonnengart, Georg Rock, and Christoph Weidenbach
    On Generating Small Clause Normal Forms
    In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5-10 1998, 1998, 397-411