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