On the Implementation of an Extensible Declarative Proof Language
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 185-202
- https://doi.org/10.1007/3-540-48256-3_13
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- What You Always Wanted to Know about Rigid E-UnificationJournal of Automated Reasoning, 1998
- Using lattice theory in higher order logicPublished by Springer Nature ,1996
- A mizar mode for HOLPublished by Springer Nature ,1996