✦ LIBER ✦

Modular termination of r-consistent and left-linear term rewriting systems

✍ Scribed by Manfred Schmidt-Schauß; Massimo Marchiori; Sven Eric Panitz

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 940 KB
Volume: 149
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00080-g

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular term rewriting systems and the t

Modular term rewriting systems and the termination

✍ Masahito Kurihara; Ikuo Kaji 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 313 KB

Modularity of simple termination of term

Modularity of simple termination of term rewriting systems with shared constructors

✍ Masahito Kurihara; Azuma Ohuchi 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 640 KB

NMR of terminal oxygen. 1517O NMR spectr

NMR of terminal oxygen. 1517O NMR spectra of the N+O− group: tert-Amine oxides R3N+O−, nitrones HC N+(O−), azoxy derivatives N N+(O−), nitrile oxides C N+O− and related compounds. Shielding anisotropy in linear heteroatomar π-systems

✍ Hans Dahn; Péter Péchy; Vien Van Toan; Pierre-Alain Carrupt 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 608 KB

The "0 NMR signals of trimethylamine oxide and of six (para-substituted) N-aryldimethylamine oxides appear at 240-260 ppm, cu. 200 ppm more deshielded than hydroxylamines. The influence of the arene group and its substituents is small, confirming the absence of resonance interaction between the ring