An inductive theorem prover based on narrowing
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 475-477
- https://doi.org/10.1007/bfb0013092
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