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

Publications Master Template, generated: 16:24, 20 January 2020

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Hans de Nivelle, Marc Bezem, and Dimitri Hendriks
    Automated Proof Construction in Type Theory Using Resolution
    In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Carnegie Mellon University, Pittsburgh, PA, USA, June 17-20, 2000, 2000, 148-163
  2. Marc Bezem, Dimitri Hendriks, and Hans de Nivelle
    Automated Proof Construction in Type Theory using Resolution
    Journal of Automated Reasoning 29 (3/4): 253-275, 2002