It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair (Q5096169)
From MaRDI portal
scientific article; zbMATH DE number 7571941
Language | Label | Description | Also known as |
---|---|---|---|
English | It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair |
scientific article; zbMATH DE number 7571941 |
Statements
It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair (English)
0 references
16 August 2022
0 references
Turing machine
0 references
critical pair
0 references
halting problem
0 references