𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Elimination of Conditions

✍ Scribed by Patrick Viry

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
338 KB
Volume
28
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

We formally define and prove the correctness of a transformation from conditional rewrite systems (CTRS) into unconditional ones. The main result states that this transformation applies to any kind of CTRS (including extra variables in conditions) without any restrictions, and that derivations are preserved up to a mapping between terms. We also prove that termination and confluence of the original system are preserved in the transformed one under some natural assumptions.

πŸ“œ SIMILAR VOLUMES

Study of Pd-elimination under carbonylat
Study of Pd-elimination under carbonylation conditions: Regioselective formation of esters
✍ Ana C. AlbeΒ΄niz; Pablo Espinet; Yong-Shou Lin πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 French βš– 739 KB

The regioselective synthesis of methyl esters is achieved by carbonylation of two different types of organometallic derivatives resulting from insertion of non-conjugated dienes into a Pd-aryl bond. When the diene and the Pd-aryl synthon [PdPfBr(NCMe)2] (Pf = C6F5) are mixed at low temperature, solu

A very slow ElcB elimination under extre
A very slow ElcB elimination under extreme ElcB conditions
✍ Shmaryahu Hoz; Michael Albeck; Zvi Rappoport πŸ“‚ Article πŸ“… 1972 πŸ› Elsevier Science 🌐 French βš– 250 KB

Most work dealing with EloB eliminations (equation 1, B = base, X end/or Y = eleotron attracting groups, Z = leavin g group)' was under oonditions where k2> k\_l[BH+] (eirrwzrsible oasee) or k2<k\_l[BHr ("p re-equilibrium oasee) where the osrbanions $are formed in steady-state concentrations. lb Ano