Authors | O. Lysne and O. Owe |
Title | Definedness and Strictness in Generator Inductive Definitions |
Status | Published |
Publication Type | Technical reports |
Year of Publication | 1991 |
Number | 161 |
Publisher | Department of Informatics, University of Oslo |
Notes | Also presented at the 3rd Nordic Workshop on Program Correctness, Göteborg (Sweden) |
Citation Key | ND.7.LYSNE.1991 |