The Andrews-Curtis conjecture, term rewriting and first-order proofs

DOI10.1007/978-3-319-96418-8_41zbMath1395.68250MaRDI QIDQ1662269

Alexej P. Lisitsa

Publication date: 17 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96418-8_41

Mathematics Subject Classification ID

20F05: Generators, relations, and presentations of groups

68Q42: Grammars and rewriting systems

Uses Software

• Prover9
• Mace4