Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (Q5240131)
From MaRDI portal
scientific article; zbMATH DE number 7121845
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems |
scientific article; zbMATH DE number 7121845 |
Statements
24 October 2019
0 references
conditional term rewriting
0 references
unraveling
0 references
condition elimination
0 references
Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (English)
0 references
