Export 1 results:
Filters: Author is C. Prehofer  [Clear All Filters]
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.