✦ LIBER ✦

Term rewriting for normalization by evaluation

✍ Scribed by Ulrich Berger; Matthias Eberl; Helmut Schwichtenberg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructing malware normalizers using t

✍ Walenstein, Andrew ;Mathur, Rachit ;Chouchane, Mohamed R. ;Lakhotia, Arun 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 348 KB

Term Rewriting with Operator Evaluation

✍ Steven Eker 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 981 KB

Normalization properties for Shallow TRS

✍ Guillem Godoy 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 246 KB

Action Control by Term Rewriting

✍ Steve Barker; Clara Bertolissi; Maribel Fernández 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 350 KB

The Termination Hierarchy for Term Rewri

✍ H. Zantema 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 97 KB

Characterizing Confluence by Rewrite Clo

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