A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

DOI10.4230/LIPIcs.FSCD.2019.24OpenAlexW2954049028MaRDI QIDQ5089026

Mirai Ikebuchi

Publication date: 18 July 2022

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2019/10531/pdf/LIPIcs-FSCD-2019-24.pdf/

zbMATH Keywords

equational logicterm rewriting systemshomological algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Single axioms for groups
• An introduction to homological algebra
• Yet another single law for groups
• Word problems and a homological finiteness condition for monoids
• Another single law for groups
• FINITE PRESENTATIONS OF GROUPS AND 3-MANIFOLDS

This page was built for publication: A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods