The following pages link to (Q3751631):
Displaying 50 items.
- Growth problems for avoidable words (Q908709) (← links)
- Bounded and well-placed theories in the lattice of equational theories (Q910421) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- Non-representable distributive semilattices (Q942205) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← links)
- A finite set of functions with an EXPTIME-complete composition problem (Q955009) (← links)
- The partially ordered monoid generated by the operators \(H, S, P_{u}, P_{f}\) on classes of algebras (Q993322) (← links)
- The category of varieties and interpretations is alg-universal (Q995628) (← links)
- Some near-rings in which all ideals are intersections of Noetherian quotients. (Q1011030) (← links)
- Minimal varieties and quasivarieties of semilattices with one automorphism (Q1014253) (← links)
- The endomorphism semiring of a semilattice. (Q1014773) (← links)
- On free spectra of finite completely regular semigroups and monoids. (Q1025072) (← links)
- Quasivarieties with definable relative principal subcongruences (Q1037593) (← links)
- Definability in substructure orderings. I: Finite semilattices (Q1040653) (← links)
- All clones are centralizer clones (Q1040654) (← links)
- Simple equations on real intervals (Q1042414) (← links)
- Algebraically expandable classes (Q1042420) (← links)
- The lattice generated by some subvarieties of completely regular semigroups. (Q1042811) (← links)
- Definability in substructure orderings. IV: Finite lattices (Q1047100) (← links)
- Definability in substructure orderings. III: Finite distributive lattices (Q1047103) (← links)
- Congruence modularity implies cyclic terms for finite algebras (Q1047112) (← links)
- Cancellation among finite unary algebras (Q1126198) (← links)
- Nonassociative Boolean ring varieties (Q1180655) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- A field guide to equational logic (Q1201350) (← links)
- On finitely based groups and nonfinitely based quasivarieties (Q1265546) (← links)
- A projection property (Q1272199) (← links)
- On the algebraic structure of combinatorial problems (Q1276253) (← links)
- On apolarity and generic canonical forms (Q1283668) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Congruence modularity implies the Arguesian law for single algebras with a difference term (Q1305447) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- TC semigroups and inflations (Q1357101) (← links)
- Many-sorted algebras in congruence modular varieties (Q1363439) (← links)
- On the existence of congruence-uniform structures on universal algebras (Q1363445) (← links)
- Finite modular effect algebras (Q1366272) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Dual spaces of some congruence lattices. (Q1398186) (← links)
- Polynomial interpolation in expanded groups. (Q1421798) (← links)
- Learnability of quantified formulas. (Q1426470) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- Maps of finite powers of metric spaces (recursive conditions for spaces at work) (Q1591085) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Two equational theories of partial words (Q1643141) (← links)
- The Jónsson distributivity spectrum (Q1652855) (← links)
- Quasiorder lattices of varieties (Q1652873) (← links)
- Varieties of Boolean inverse semigroups (Q1663513) (← links)
- Finiteness properties of direct products of algebraic structures (Q1680281) (← links)
- Factor varieties (Q1701682) (← links)
