Criterion for equational Noetherianity and complexity of the solvability problem for systems of equations over partially ordered sets

From MaRDI portal
Publication:6573396