Termination of Rewriting with Right-Flat Rules (Q5432342)
From MaRDI portal
scientific article; zbMATH DE number 5222813
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination of Rewriting with Right-Flat Rules |
scientific article; zbMATH DE number 5222813 |
Statements
Termination of Rewriting with Right-Flat Rules (English)
0 references
2 January 2008
0 references
