No label defined (Q4347956)
From MaRDI portal
scientific article; zbMATH DE number 1047878
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1047878 |
Statements
26 October 1997
0 references
survey
0 references
confluence
0 references
word problems
0 references
term orderings
0 references
terminating rewrite relation
0 references
