3 search results - page 1 / 1 » Congruences and ideals in pseudoeffect algebras |
SOCO
2008
Springer
13 years 6 months ago
2008
Springer
LICS
2000
IEEE
13 years 11 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
IJAC
2006
13 years 7 months ago
2006
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...