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