Advertisement

Rewrite-based automated reasoning: Challenges ahead

  • Deepak Kapur
Regular Papers Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1103)

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Deepak Kapur
    • 1
  1. 1.Institute for Programming and LogicsState University of New YorkAlbany

Personalised recommendations