✦ LIBER ✦

Nominal rewriting

✍ Scribed by Maribel Fernández; Murdoch J. Gabbay

Book ID: 113641674
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 732 KB
Volume: 205
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2006.12.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Meta-variables as infinite lists in nomi

Meta-variables as infinite lists in nominal terms unification and rewriting

✍ Gabbay, M. J. 📂 Article 📅 2012 🏛 Oxford University Press 🌐 English ⚖ 986 KB

Lazy Rewriting and Context-Sensitive Rew

Lazy Rewriting and Context-Sensitive Rewriting

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

Rewrite

✍ Emmy Ellis 📂 Fiction 📅 2023 🌐 English ⚖ 106 KB

Janet has hidden a secret since her childhood and intends to keep it that way—until someone snoops and finds out she isn’t who she says she is. She’s desperate to keep George Wilkes on her side; there are still so many plans that involve him, and she won’t allow them to be derailed. For once in her

REWRITE

✍ RICHARD KENNEY 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 47 KB

Rewrite

✍ Rose, Stephanie 📂 Fiction 📅 2017 🏛 Stephanie Rose 🌐 English ⚖ 464 KB

Term rewriting and Hoare logic — Coded r

Term rewriting and Hoare logic — Coded rewriting

✍ Yong Sun 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 340 KB