✦ LIBER ✦

Action Control by Term Rewriting

✍ Scribed by Steve Barker; Clara Bertolissi; Maribel Fernández

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Term rewriting for normalization by eval

✍ Ulrich Berger; Matthias Eberl; Helmut Schwichtenberg 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Characterizing Confluence by Rewrite Clo

✍ Guillem Godoy; Ashish Tiwari; Rakesh Verma 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 252 KB

Decidable call-by-need computations in t

✍ Irène Durand; Aart Middeldorp 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 340 KB

Analyzing Innermost Runtime Complexity o

✍ Lars Noschinski, Fabian Emmes, Jürgen Giesl 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 868 KB

Representation for program control struc

✍ Norihide Hattori; Naohiro Ishii 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 689 KB

Hierarchical representation for program

✍ Norihide Hattori; Naohiro Ishii 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 237 KB