Export 1 results:
Search results for biblio_year:1991
Filters: 1 is biblio_type:PhD Thesis and 2 is biblio_year:2018 and 3 is field_publication_owner:not_simula and 4 is biblio_year:2012 and 5 is biblio_year:1994 and 6 is biblio_type:Proceedings, refereed and 7 is biblio_year:1996 and Author is C. Prehofer  [Reset Search]
1996
H. Linnestad, C. Prehofer and O. Lysne. Higher Order Proof by Consistency In Foundations of Software Technology and Theoretical Computer Science, 16th Conference. Lecture Notes in Computer Science. Hyderabad, India: Springer-Verlag, 1996.