scientific article; zbMATH DE number 7700620

DOI10.4230/LIPICS.FSCD.2021.15MaRDI QIDQ6159930zbMATH OpenFDO

Authors Deepak Kapur

Publication date 23 June 2023

zbMATH Keywords

equational theoriesfinitely presented algebrasword problemscongruence closureassociative and commutative

Mathematics Subject Classification ID

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

Cited in

(3)

• Left-Linear Completion with AC Axioms
• scientific article; zbMATH DE number 1538018 (Why is no real title available?)
• Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols

This page was built for publication:

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