Rewrite Rules And The Completion Procedure


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


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