A critical pair criterion for completion modulo a congruence

DOI10.1007/3-540-51517-8_151zbMATH Open1209.68664OpenAlexW1568736152MaRDI QIDQ5393376

Nachum Dershowitz, Leo Bachmair

Publication date: 16 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51517-8_151

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Equational logic, Mal'tsev conditions (08B05)

This page was built for publication: A critical pair criterion for completion modulo a congruence

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