๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Elimination Theorems of Uniqueness Conditions

โœ Scribed by Nobuyoshi Motohashi


Publisher
John Wiley and Sons
Year
1982
Tongue
English
Weight
758 KB
Volume
28
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Elimination of Conditions
โœ Patrick Viry ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 338 KB

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 p