Inductive definitions: Automation and application
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 200-213
- https://doi.org/10.1007/3-540-60275-5_66
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993
- An Introduction to Inductive DefinitionsPublished by Elsevier ,1977
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955
- Konstruktion nichtrekursiver FunktionenMathematische Annalen, 1935
- Zum Hilbertschen Aufbau der reellen ZahlenMathematische Annalen, 1928