Systematic recursion removal

DOI10.1145/359340.359344zbMath0367.68008OpenAlexW2034826746MaRDI QIDQ4144163

No author found.

Publication date: 1978

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

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (2)

La fonction d'Ackermann : un nouveau mode de dérécursivation ⋮ PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS

This page was built for publication: Systematic recursion removal