The following pages link to Manfred Armbrust (Q590016):
Displaying 50 items.
- Finitely generated equational classes (Q258136) (← links)
- The structure of polynomial operations associated with smooth digraphs. (Q485112) (← links)
- Reconstructing the topology on monoids and polymorphism clones of the rationals (Q519852) (← links)
- Clones with finitely many relative \({\mathcal R}\)-classes (Q535115) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- (Q685404) (redirect page) (← links)
- Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
- Simple LPO constraint solving methods (Q685481) (← links)
- Algebras of iteration theories (Q789159) (← links)
- On the sum of a direct system of universal algebras with nullary polynomials (Q799712) (← links)
- Polynomial clones on groups of order \(pq\) (Q879240) (← links)
- A note on free algebras of discriminator algebras (Q909691) (← links)
- Rigid E-unification: NP-completeness and applications to equational matings (Q921913) (← links)
- Small clones and the projection property (Q992011) (← links)
- Local methods for Rosenberg relations (Q992013) (← links)
- Idempotent Mal'cev conditions and 2-uniform congruences (Q1001457) (← links)
- Compactness via equivalence relations (Q1001464) (← links)
- Hyperformulas and solid algebraic systems (Q1005961) (← links)
- Separation of clones of cooperations by cohyperidentities (Q1011714) (← links)
- Simple equations on real intervals (Q1042414) (← links)
- Algebraically closed algebras in certain small congruence distributive varieties (Q1042418) (← links)
- Convexities of partial monounary algebras (Q1047081) (← links)
- Primitive positive clones of groupoids (Q1047087) (← links)
- Langages infinitaires et produit de mixage (Q1061496) (← links)
- On solving the equality problem in theories defined by Horn clauses (Q1085152) (← links)
- Representations of language families by homomorphic equality operations and generalized equality sets (Q1099633) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- On finite bases for varieties and pseudovarieties (Q1109060) (← links)
- The algebra of implicit operations (Q1119673) (← links)
- Cancellation among finite unary algebras (Q1126198) (← links)
- Probabilistic verification of proofs (Q1126840) (← links)
- Completion for unification (Q1178701) (← links)
- Nondeterministic operations on finite relational structures (Q1276248) (← links)
- On exponentiation of \(n\)-ary algebras (Q1320472) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Annotations in formal specifications and proofs (Q1334901) (← links)
- The lattice of convexities of partial monounary algebras (Q1646610) (← links)
- Subtraction Menger algebras (Q1758222) (← links)
- The semantical kernel of a generalized hypersubstitution (Q1879108) (← links)
- Subdirectly irreducible algebras with various equations (Q1884756) (← links)
- Maximal non-affine reducts of simple affine algebras (Q1902551) (← links)
- Critical algebras and the Frattini congruence (Q1905981) (← links)
- A variety with locally solvable but globally unsolvable word problem (Q1918965) (← links)
- Further refinements of the primal algebra characterization theorem (Q1925027) (← links)
- Reflection-closed varieties of multisorted algebras and minor identities (Q1991602) (← links)
- Reflections on and of minor-closed classes of multisorted operations (Q1991603) (← links)
- Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon (Q2276995) (← links)
- On powers of relational and algebraic systems (Q2434168) (← links)
- Remarks on model classes acting on one another (Q2543457) (← links)
- On the theorem of Ax and Kochen (Q2547237) (← links)
