A Broader Class of Trees for Recursive Type Definitions for HOL (1994)

Cached

Download Links

by Elsa L. Gunter
Venue:Higher Order Logic Theorem Proving and Its Applications, volume 780 of LNCS
Citations:13 - 0 self

Document Versions

A Broader Class of Trees for Recursive Type Definitions for HOL –Elsa L. Gunter — 1994 — Higher Order Logic Theorem Proving and Its Applications, volume 780 of LNCS