Login / Signup

A Broader Class of Trees for Recursive Type Definitions for HOL.

Elsa L. Gunter
Published in: HUG (1993)
Keyphrases
  • type definitions
  • tree structure
  • data sets
  • decision trees
  • building blocks
  • semi automatic
  • recursive functions