The following pages link to (Q5572358):
Displaying 50 items.
- Quasi-median hulls in Hamming space are Steiner hulls (Q1003664) (← links)
- Copower functors (Q1006640) (← links)
- On semi-planar Steiner quasigroups (Q1011702) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- Simple quandles (Q1051089) (← links)
- Purity in the category of M-sets (Q1055568) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Affine complete semilattices (Q1057891) (← links)
- Fast algorithms constructing minimal subalgebras, congruences, and ideals in a finite algebra (Q1060232) (← links)
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras (Q1066930) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
- Gruppenuniversalität und Homogenisierbarkeit (Q1073014) (← links)
- Perfect rectangular bands of inverse monoids (Q1076813) (← links)
- Representations of additive relation algebras by modules (Q1078216) (← links)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Cosets in universal algebra (Q1087898) (← links)
- De Morgan algebras are universal (Q1089017) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- On unification: Equational theories are not bounded (Q1094131) (← links)
- Plethysm, categories and combinatorics (Q1096633) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- On a representation of tree automata (Q1098636) (← links)
- Fuzzy semilattices (Q1099198) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Free word problems for additive relation algebras of modules (Q1104352) (← links)
- Synthesis and equivalence of concurrent systems (Q1105355) (← links)
- Free products in the category of Abelian \(\ell\)-groups with strong unit (Q1111584) (← links)
- A preservation theorem for fuzzy number theory (Q1112797) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- Finitary spectral algebraic theories (Q1118682) (← links)
- Injectives in varieties of completely regular semigroups (Q1121389) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← links)
- Left ideals and reachability in machines (Q1124345) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra (Q1137053) (← links)
- Uniform congruence schemes (Q1138009) (← links)
- Algebraic properties of satisficing decision criterion (Q1145599) (← links)
- The Hopf property and K-free products of semigroups (Q1146770) (← links)
- A proof of Lyndon's finite basis theorem (Q1147174) (← links)
- A note on local polynomial functions over lattices (Q1148932) (← links)
- The lattice of varieties of modal algebras is not strongly atomic (Q1150644) (← links)
- Betweenness for real vectors and lines. I: Basic generalities (Q1153167) (← links)
- Universal topological algebra needs closed topological categories (Q1154532) (← links)
- The direct power of a 1-graph (Q1156141) (← links)
- On groupoids having a linear congruence class geometry (Q1157573) (← links)
- A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties (Q1160209) (← links)
