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

MPI-INF RG1 Publications, generated: 3:16, 17 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Peter Baumgartner and Uwe Waldmann
    Superposition and Model Evolution Combined
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 17-34
  2. Peter Baumgartner and Uwe Waldmann
    A Combined Superposition and Model Evolution Calculus
    Journal of Automated Reasoning 47 (2): 191-227, 2011