Another recursion induction principle

DOI10.1145/362588.362598zbMath0226.68026OpenAlexW1970197772MaRDI QIDQ5633654

James H. Jun. Morris

Publication date: 1971

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/362588.362598

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) General topics in the theory of software (68N01)

Related Items

On transformations of programs ⋮ Least fixed points revisited ⋮ On some classes of interpretations ⋮ Program transformations and algebraic semantics ⋮ Current methods for proving program correctness ⋮ Recursion induction principle revisited