Definedness and Strictness in Generator Inductive Definitions
- Authors
- O. Lysne and O. Owe
- Status
- Published
- Publication type
- Technical Reports
- Year of publication
- 1991
- Journal
- -
- Publisher
- Department of Informatics, University of Oslo
- Notes
- Also presented at the 3rd Nordic Workshop on Program Correctness, Göteborg (Sweden)
- Citation key
- 12995