A Package for Inductive Relation Definitions in HOL (1992)

Cached

Download Links

by Thomas Melham
Venue:in Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications
Citations:28 - 2 self

Document Versions

A Package for Inductive Relation Definitions in HOL –Thomas Melham — 1992 — in Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications