Export 1 results:
Search results for biblio_year:1979
Filters: 1 is biblio_year:1996 and 2 is biblio_year:1993 and 3 is biblio_year:1980 and 4 is biblio_type:Master's thesis and 5 is biblio_year:1991 and 6 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.