AuthorsH. Linnestad, C. Prehofer and O. Lysne
TitleHigher Order Proof by Consistency
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1996
Conference NameFoundations of Software Technology and Theoretical Computer Science, 16th Conference
Date PublishedDecember
PublisherSpringer-Verlag
Place PublishedHyderabad, India
Citation KeyND.5.Lysne.1995.c