Recursive Boolean Functions In HOL
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 367-377
- https://doi.org/10.1109/hol.1991.596301
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Package For Inductive Relation Definitions In HOLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955