✦ LIBER ✦

Lazy Rewriting and Context-Sensitive Rewriting

✍ Scribed by Salvador Lucas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Context-Sensitive Rewriting Strategies

✍ Salvador Lucas 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 382 KB

Scattered versus context-sensitive rewri

✍ Jakob Gonczarowski; Manfred K. Warmuth 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 671 KB

Termination of Lazy Rewriting Revisited

✍ Felix Schernhammer; Bernhard Gramlich 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Compact Normalisation Trace via Lazy Rew

✍ Quang-Huy Nguyen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 407 KB

Proving termination of context-sensitive

✍ Salvador Lucas 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 620 KB

Prefix-Rewriting on Context-Free Groups

✍ R. Cremanns 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 340 KB