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

Publications Master Template, generated: 11:36, 20 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. David A. Basin and Toby Walsh
    A Calculus for and Termination of Rippling
    In: Automated mathematical induction, 1996, 147-180. Note: Reprinted from Journal of Automated Reasoning 16 (Nos. 1/2)
  2. Ina Kraan, David A. Basin, and Alan Bundy
    Middle-Out Reasoning for Synthesis and Induction
    In: Automated mathematical induction, 1996, 113-145. Note: Reprinted from Journal of Automated Reasoning 16 (Nos. 1/2)