The Equational Part of Proofs by Structural Induction

By thinking constantly about it…

Search form

Search

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

Kristian Augusts gate 23
0164 Oslo

Pilestredet 52
0167 Oslo

Thormøhlens gate 53D
5006 Bergen

Facebook LinkedIn Twitter