Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Structure and meaning of elementary programs
Home
Publications
Structure and meaning of elementary programs
Structure and meaning of elementary programs
EE
Erwin Engeler
Erwin Engeler
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1971
book chapter
Published by
Springer Science and Business Media LLC
p.
89-101
https://doi.org/10.1007/bfb0059695
Abstract
No abstract available
Keywords
NORMAL FORM
PROOF SYSTEM
INDUCTION ASSUMPTION
SIMPLE PROGRAM
REGISTER MACHINE
Cited by 19 articles