Mechanizing Structural Induction Part I: Formal System.

Published in: Theor. Comput. Sci. (1979)

Keyphrases

structural information
constructive induction
formal specification
explanation based learning
information systems
decision making
formal model
formal methods
table of contents
clustering algorithm
decision trees
formal analysis
functional programs