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

Publications Master Template, generated: 15:41, 11 December 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Viorica Sofronie-Stokkermans
    Hierarchic reasoning in local theory extensions
    In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 219-234
    [PDF: Download: sofronie-cade-2005.pdf]
  2. Peter Baumgartner and Cesare Tinelli
    The Model Evolution Calculus with Equality
    In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 392-408
  3. Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach
    First-Order Atom Definitions Extended
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havanna, Cuba, December, 3 - December, 7, 2001, 309-319
    [PS: Download: AtomFinal.ps]
  4. Hans de Nivelle
    Splitting through New Proposition Symbols
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havana, Cuba, December 3-7, 2001, 2001, 172-185