The following pages link to (Q5762080):
Displaying 50 items.
- Finitely generated equational classes (Q258136) (← links)
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- On integro-differential algebras. (Q392441) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- On transitivity and (non)amenability of \(\Aut F_n\) actions on group presentations. (Q473147) (← links)
- The dual equivalence of equations and coequations for automata (Q498397) (← links)
- Some results about fixed points in the complete metric space of zero at infinity varieties and complete convex metric space of varieties (Q525318) (← links)
- Categories as algebra: An essential ingredient in the theory of monoids (Q581545) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Matching - a special case of unification? (Q582272) (← links)
- Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green (Q598306) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Topological methods for algebraic specification (Q671657) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- The intersection of algebra and coalgebra (Q860879) (← links)
- Equational methods in first order predicate calculus (Q1065783) (← links)
- Gruppenuniversalität und Homogenisierbarkeit (Q1073014) (← links)
- Parameter-preserving data type specifications (Q1089794) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- Unification theory (Q1124375) (← links)
- The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra (Q1137053) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- On the existence and exactness of the associated sheaf functor (Q1213950) (← links)
- Characterizing Mal'cev conditions (Q1216327) (← links)
- Parallel realization of systems, using factorizations and quotients in categories (Q1228463) (← links)
- An axiom system for the modular logic (Q1228608) (← links)
- On pseudovarieties (Q1235274) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Lattice representations for computability theory (Q1295402) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Chiungtze C. Tsen (1898-1940) and Tsen's theorems (Q1567144) (← links)
- Fixpoint semantics and simulation (Q1575253) (← links)
- A hidden agenda (Q1575735) (← links)
- The class \(I_0\) on abstract structures (Q1585958) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Axiomatizations of universal classes through infinitary logic (Q1652858) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Independence and freedom (Q1684197) (← links)
- A uniform Birkhoff theorem (Q1686326) (← links)
- Star order and topologies on von Neumann algebras (Q1790559) (← links)
- Modular specification of process algebras (Q1802074) (← links)
