Computing congruences efficiently
From MaRDI portal
Publication:1001460
DOI10.1007/s00012-008-2073-1zbMath1158.08001MaRDI QIDQ1001460
Publication date: 17 February 2009
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-008-2073-1
68Q25: Analysis of algorithms and problem complexity
68W30: Symbolic computation and algebraic computation
08A30: Subalgebras, congruence relations