✦ LIBER ✦

Recursions, Functions and Programs

✍ Scribed by Trevor Fletcher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Programming recursively defined function

✍ A. J. Guttmann 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 440 KB

Optimizing structural recursion in funct

✍ Peter J Thiemann 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 761 KB

A relational language with deductions, f

✍ S. Misbah Deen 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 980 KB

Recursive Programming

✍ E. W. Dijkstra 📂 Article 📅 1960 🏛 Springer-Verlag 🌐 English ⚖ 475 KB

On Markovian decision programming with r

✍ Jianyong Liu; Ke Liu 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 578 KB

Model Checking Erlang Programs – Abstrac

✍ Frank Huch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 417 KB