A broader class of trees for recursive type definitions for HOL

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 141-154
https://doi.org/10.1007/3-540-57826-9_131

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Automating Recursive Type Definitions in Higher Order Logic
Published by Springer Nature ,1989