The isomorphism problem for varieties generated by a two-element algebra
From MaRDI portal
Publication:1905991
DOI10.1007/BF01182098zbMath0836.08007MaRDI QIDQ1905991
Publication date: 2 May 1996
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01182098
polynomial time algorithm; graphs; varieties; quasivarieties; isomorphism problem; isomorphism testing
Related Items
Model checking existential logic on partially ordered sets, FAST ISOMORPHISM TESTING IN ARITHMETICAL VARIETIES
Cites Work
- Unnamed Item
- Algebras with minimal spectrum
- The fine spectrum of a variety
- On full embeddings of categories of algebras
- Semi-categorical algebras. I: Semi-primal algebras
- Isomorphism Testing of Unary Algebras
- Isomorphism Testing for Graphs, Semigroups, and Finite Automata are Polynomially Equivalent Problems