On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings (Q5240136)
From MaRDI portal
scientific article; zbMATH DE number 7121848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings |
scientific article; zbMATH DE number 7121848 |
Statements
24 October 2019
0 references
conditional term rewriting
0 references
unraveling
0 references
condition elimination
0 references
0 references
0 references
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings (English)
0 references
