19 search results - page 1 / 4 » Epimorphisms in Certain Varieties of Algebras |
ORDER
2000
13 years 4 months ago
2000
We prove a lemma which, under restrictive conditions, shows that epimorphisms in V are surjective if this is true for epimorphisms from irreducible members of V . This lemma is app...
IGPL
2011
12 years 12 months ago
2011
COCOON
2006
Springer
13 years 8 months ago
2006
Springer
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of KondacsWatrous quantum finite automata. In this ...
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
IGPL
2011
12 years 8 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...