Ordinals and Knuth-Bendix Orders (Q2891472)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordinals and Knuth-Bendix Orders |
scientific article |
Statements
Ordinals and Knuth-Bendix Orders (English)
0 references
15 June 2012
0 references
Knuth-Bendix order
0 references
termination
0 references
ordered completion
0 references
