Export 1 results:
Search results for biblio_year:2018
Filters: 1 is field_publication_owner:not_simula and 2 is biblio_type:PhD Thesis and 3 is biblio_year:1996 and 4 is biblio_type:Proceedings, refereed and Author is H. Linnestad  [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.