Some results concerning proofs of statements about programs

DOI10.1016/S0022-0000(70)80013-7zbMath0188.02902MaRDI QIDQ2537129

R. J. Orgass

Publication date: 1970

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

A survey of state vectors ⋮ Conversion of programs between computers: Interpreters, simulators and compilers

Cites Work

• Constructive definition of certain analytic sets of numbers
• An extension of basic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some results concerning proofs of statements about programs