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