Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Authors
O. Lysne
Title
The Equational Part of Proofs by Structural Induction
Status
Published
Publication Type
Journal Article
Year of Publication
1993
Journal
BIT
Volume
33
Pagination
596-618,
Citation Key
ND.4.Lysne.1993.a
Google Scholar
BibTeX