Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering (1999)

by Stefan Berghofer , Markus Wenzel
Venue:Theorem Proving in Higher Order Logics: TPHOLs ’99, LNCS 1690
Citations:42 - 6 self

Document Versions

Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering –Stefan Berghofer, Markus Wenzel — 1999 — Theorem Proving in Higher Order Logics: TPHOLs ’99, LNCS 1690
Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering –Stefan Berghofer, Markus Wenzel, Technische Universität München — 1999 — Theorem Proving in Higher Order Logics: TPHOLs ’99, LNCS 1690
Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering –Stefan Berghofer, Markus Wenzel, Technische Universität München — 1999 — Theorem Proving in Higher Order Logics: TPHOLs ’99, LNCS 1690