scientific article; zbMATH DE number 3631906
From MaRDI portal
Publication:4192941
zbMath0406.68011MaRDI QIDQ4192941
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
NTS languages are deterministic and congruential ⋮ Derivation of efficient programs for computing sequences of actions ⋮ Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ La fonction d'Ackermann : un nouveau mode de dérécursivation ⋮ The McCarthy's recursion induction principle: oldy but goody ⋮ Proving the correctness of recursion-based automatic program transformations ⋮ Infinite trees in normal form and recursive equations having a unique solution ⋮ Proving the correctness of recursion-based automatic program transformations ⋮ Recursion induction principle revisited ⋮ Using circular programs to eliminate multiple traversals of data
This page was built for publication:
