A narrowing-based theorem prover
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A narrowing-based theorem proverPublished by Springer Nature ,1991
- Term rewriting inductionPublished by Springer Nature ,1990
- On hierarchies of abstract data typesActa Informatica, 1983