Pages that link to "Item:Q4063199"
From MaRDI portal
The following pages link to Equational Bases for Lattice Theories. (Q4063199):
Displaying 19 items.
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES (Q3043639) (← links)
- Various varieties (Q3214990) (← links)
- A Nonfinitely Based Semigroup of Triangular Matrices (Q3449709) (← links)
- A NONFINITELY BASED FINITE SEMIRING (Q3502839) (← links)
- COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS (Q3502845) (← links)
- Commutative idempotent residuated lattices (Q3617947) (← links)
- (Q3832626) (← links)
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras (Q4041620) (← links)
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model (Q4075454) (← links)
- Equational Theories of Algebras with Distributive Congruences (Q4401995) (← links)
- THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE (Q4986300) (← links)
- An equational logic sampler (Q5055725) (← links)
- Finite basis problem for Catalan monoids with involution (Q5097708) (← links)
- THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES (Q5212965) (← links)
- Equational axioms for classes of lattices (Q5611033) (← links)
- Varieties generated by modular lattices of width four (Q5661930) (← links)
- Equational Bases and Nonmodular Lattice Varieties (Q5682373) (← links)
- Finite basis problem for Lee monoids with involution (Q5860654) (← links)
- FINITE BASIS PROBLEM FOR INVOLUTION MONOIDS OF ORDER FIVE (Q6124033) (← links)