The following pages link to Marcel Jackson (Q175788):
Displaying 20 items.
- Undecidability of representability as binary relations (Q4899169) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- Low Growth Equational Complexity (Q5228210) (← links)
- Complexity and polymorphisms for digraph constraint problems under some basic constructions (Q5298320) (← links)
- The Division Relation: Congruence Conditions and Axiomatisability (Q5305990) (← links)
- FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES (Q5316303) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- On the Reduction of the CSP Dichotomy Conjecture to Digraphs (Q5415454) (← links)
- INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS (Q5470161) (← links)
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS (Q5850783) (← links)
- An invitation to \(C\)-semigroups (Q5931529) (← links)
- Equationally defined classes of semigroups (Q6145356) (← links)
- Edge colourings and qualitative representations of chromatic algebras (Q6171755) (← links)
- Restriction in Program Algebra (Q6200753) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q6285256) (← links)
- Nonfinitely based ai-semirings with finitely based semigroup reducts (Q6386836) (← links)
- Flat extensions of groups and limit varieties of ai-semirings (Q6409204) (← links)
- Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity (Q6507243) (← links)
- Minimal signatures with undecidability of representability by binary relations (Q6749710) (← links)
- Finite models for positive combinatorial and exponential algebra (Q6752529) (← links)
