✦ LIBER ✦

From Chemical Rules to Term Rewriting

✍ Scribed by Olivier Bournez; Liliana Ibănescu; Hélène Kirchner

Book ID: 108126555
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 430 KB
Volume: 147
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.06.040

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Term-rewriting systems with rule priorit

Term-rewriting systems with rule priorities

✍ J.C.M. Baeten; J.A. Bergstra; J.W. Klop; W.P. Weijland 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 463 KB

Rule-based synthesis using ADTs and term

Rule-based synthesis using ADTs and term rewriting

✍ Harald-Reto Fonio; Adam Pawlak 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 265 KB

Term rewriting restricted to ground term

Term rewriting restricted to ground terms

✍ Sándor Vágvölgyi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 405 KB

We study rewriting of ground terms. For an arbitrary term rewrite system R over a ranked alphabet , we restrict the rewriting relation →R to ground terms. We introduce the relation We show that for a given term rewrite system R and a given ground term rewrite system S over a ranked alphabet it is d

Rewriting a rule to redress mass claims

📂 Article 📅 2004 🏛 Wiley (John Wiley & Sons) ⚖ 79 KB

NIH urged to rewrite rules on consultanc

NIH urged to rewrite rules on consultancies

✍ Check, Erika 📂 Article 📅 2004 🏛 Nature Publishing Group 🌐 English ⚖ 191 KB

Welsh letter-to-sound rules: rewrite rul

Welsh letter-to-sound rules: rewrite rules and two-level rules compared

✍ Briony Williams 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 622 KB

In a text-to-speech synthesis system, input words not found in the system's lexicon are passed to letter-to-sound rules, which derive the word's pronunciation. In Welsh, the letter-to-sound rules must be applied in three passes; firstly, to add epenthetic vowels, secondly, to determine stress and vo