AuthorsO. Lysne
TitleTowards Mechanizing Proofs by Structural Induction
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1992
Conference NameProceedings from NIK'92: Norsk Informatikk Konferanse
Pagination243-255
PublisherTAPIR,
Citation KeyND.5.LYSNE.1992.a