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]
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.