Effective proper procedures and universal classes of program schemata

DOI10.1016/S0022-0000(75)80013-4zbMath0353.68017OpenAlexW2092632874MaRDI QIDQ1236424

Victor Harnik

Publication date: 1975

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

Full work available at URL: https://doi.org/10.1016/s0022-0000(75)80013-4

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• On formalised computer programs
• Translating recursion equations into flow charts
• Program Schemes with Pushdown Stores
• Construction of models for algebraically generalized recursive function theory
• On Classes of Program Schemata
• Computability of Recursive Functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Effective proper procedures and universal classes of program schemata