The following pages link to (Q5762080):
Displayed 50 items.
- 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)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- The class of topological spaces is equationally definable (Q2264787) (← links)
- Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples (Q2371817) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Completeness of calculii for axiomatically defined classes of algebras (Q2556880) (← links)
- On countable n-valued Post algebras (Q2559399) (← links)
- Residually small varieties (Q2561246) (← links)
- (Q3238905) (← links)
- (Q3351416) (← links)
- (Q3356539) (← links)
- Duality and Equational Theory of Regular Languages (Q3519505) (← links)
- (Q3752444) (← links)
- (Q3832626) (← links)
- The Existence of Free Unions in Classes of Abstract Algebras (Q3846404) (← links)
- (Q3890751) (← links)