AuthorsO. Lysne and O. Owe
TitleDefinedness and Strictness in Generator Inductive Definitions
StatusPublished
Publication TypeTechnical reports
Year of Publication1991
Number161
PublisherDepartment of Informatics, University of Oslo
Notes

Also presented at the 3rd Nordic Workshop on Program Correctness, Göteborg (Sweden)

Citation KeyND.7.LYSNE.1991