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

Publications Master Template, generated: 17:10, 17 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. David A. Basin, Fausto Giunchiglia, and Matt Kaufmann(Ed.)
    Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems
    Istituto Per La Ricerca Scientifica E Tecnologica, Povo, 9405-10, Technical Report
  2. Yevgeny Kazakov and Hans de Nivelle
    A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
    In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, County Cork, Ireland, 2004, 122-136
  3. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann
    Modular Proof Systems for Partial Functions with Weak Equality
    In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, 2004, 168-182