Lazy techniques for fully expansive theorem proving
- 1 August 1993
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 3 (1-2) , 25-47
- https://doi.org/10.1007/bf01383983
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- IsabellePublished by Springer Nature ,1994
- Edinburgh LCFLecture Notes in Computer Science, 1979