Rewrite Rules And The Completion Procedure

EUROCAL '85

Volume 204 of the series Lecture Notes in Computer Science pp 400-401

Date:

ERIL — Equational reasoning: an interactive laboratory

  • AJJ DickAffiliated withScience and Engineering Research Council Rutherford Appleton Laboratory Informatics Division, Software Engineering Group

* Final gross prices may vary according to local VAT.

Get Access