Authors | H. Linnestad, C. Prehofer and O. Lysne |
Title | Higher Order Proof by Consistency |
Status | Published |
Publication Type | Proceedings, refereed |
Year of Publication | 1996 |
Conference Name | Foundations of Software Technology and Theoretical Computer Science, 16th Conference |
Date Published | December |
Publisher | Springer-Verlag |
Place Published | Hyderabad, India |
Citation Key | ND.5.Lysne.1995.c |