It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair
2005 ◽
pp. 348-359
◽
Keyword(s):
Keyword(s):
2005 ◽
Vol 2005
(18)
◽
pp. 2945-2975
2019 ◽
Vol 67
(8)
◽
pp. 5569-5581
◽