Confluence of terminating conditional rewrite systems revisited (Q5055864)
From MaRDI portal
scientific article; zbMATH DE number 7631296
Language | Label | Description | Also known as |
---|---|---|---|
English | Confluence of terminating conditional rewrite systems revisited |
scientific article; zbMATH DE number 7631296 |
Statements
Confluence of terminating conditional rewrite systems revisited (English)
0 references
9 December 2022
0 references
0 references