Advertisement

Tutorial on rewrite-based theorem proving

  • Jieh Hsiang
  • Jean-Pierre Jouannaud
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Jieh Hsiang
    • 1
  • Jean-Pierre Jouannaud
    • 2
  1. 1.State University of New YorkStony Brook
  2. 2.Université de Paris-SudOrsayFrance

Personalised recommendations