A Package For Inductive Relation Definitions In HOL
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 350-357
- https://doi.org/10.1109/hol.1991.596299
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Automating Recursive Type Definitions in Higher Order LogicPublished by Springer Nature ,1989