Pages that link to "Item:Q4507355"
From MaRDI portal
The following pages link to Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras (Q4507355):
Displaying 22 items.
- Semigroups embeddable in hyperplane face monoids. (Q467529) (← links)
- Complexity of the identity checking problem for finite semigroups. (Q843593) (← links)
- Structure identification of Boolean relations and plain bases for co-clones (Q955340) (← links)
- A note on the expressibility problem for modal logics and star-free regular expressions (Q987808) (← links)
- Checking quasi-identities in a finite semigroup may be computationally hard. (Q1770618) (← links)
- The complexity of homomorphism factorization (Q2046363) (← links)
- On the complexity of the clone membership problem (Q2048213) (← links)
- A minimal nonfinitely based semigroup whose variety is polynomially recognizable. (Q2248321) (← links)
- The complexity of deciding if a Boolean function can be computed by circuits over a restricted basis (Q2272200) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- Complexity of the normalization of algebras (Q2475961) (← links)
- COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS (Q3502845) (← links)
- EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM (Q3601326) (← links)
- (Q4406616) (← links)
- The computational complexity of deciding whether a finite algebra generates a minimal variety (Q4586419) (← links)
- COMPUTATIONAL COMPLEXITY OF GENERATORS AND NONGENERATORS IN ALGEBRA (Q4791998) (← links)
- COMPLEXITY OF SEMIGROUP IDENTITY CHECKING (Q4824699) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS (Q5470161) (← links)
- COLLAPSING WORDS: A PROGRESS REPORT (Q5483371) (← links)
- Computational complexity of some problems involving congruences on algebras (Q5958321) (← links)
- On the complexity functions for T-ideals of associative algebras (Q5959464) (← links)
