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

DOI10.1007/978-3-319-96418-8_41zbMATH Open1395.68250OpenAlexW2884484018MaRDI QIDQ1662269FDOQ1662269

Alexej P. Lisitsa

Publication date: 17 August 2018

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

Recommendations

• Conditional term rewriting and first-order theorem proving
• scientific article; zbMATH DE number 3930371
• Compositional term rewriting: An algebraic proof of Toyama's theorem
• Combinatorics of first order structures and propositional proof systems
• Publication:4888337
• Complexity of the first-order theory of almost all finite structures
• The problems of cyclic equality and conjugacy for finite complete rewriting systems
• Proving confluence of term rewriting systems via persistency and decreasing diagrams
• Kleene theorem in partial Conway theories with applications
• scientific article; zbMATH DE number 569742

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Grammars and rewriting systems (68Q42)

Cited In (3)

• Fast Searching for Andrews–Curtis Trivializations
• Title not available (Why is that?)
• BREADTH-FIRST SEARCH AND THE ANDREWS–CURTIS CONJECTURE

Uses Software

• Prover9
• Mace4

This page was built for publication: The Andrews-Curtis conjecture, term rewriting and first-order proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662269)