Export 1 results:
Search results for biblio_year:2018
Filters: 1 is field_publication_owner:not_simula and 2 is biblio_year:2012 and 3 is biblio_type:Technical reports and 4 is field_publication_state:18 and 5 is biblio_year:1991 and Author is O. Owe  [Reset Search]
O. Lysne and O. Owe. Definedness and Strictness in Generator Inductive Definitions. Department of Informatics, University of Oslo, 1991.