The following pages link to Heterogeneous algebras (Q5611775):
Displayed 50 items.
- Equational partiality (Q585250) (← links)
- Relations in operational categories (Q678847) (← links)
- Equational type logic (Q752689) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- An extension to trees of the Sardinas and Patterson algorithm (Q1050318) (← links)
- On the Pexider equation (Q1058077) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- A representation theorem for weak automorphisms of a universal algebra (Q1060235) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On merging software extensions (Q1082067) (← links)
- A second order theory of data types (Q1092657) (← links)
- Generalized algebraic theories and contextual categories (Q1096716) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Synthesis and equivalence of concurrent systems (Q1105355) (← links)
- Algebraic processing of programming languages (Q1129126) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- On the structure of free finite state machines (Q1139375) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Projective limits in the categories of heterogeneous algebras and abstract automata (Q1150032) (← links)
- More on advice on structuring compilers and proving them correct (Q1156472) (← links)
- Direct limits in the categories of non finitary heterogeneous algebras (Q1158505) (← links)
- Attribute grammars and recursive program schemes. I. II (Q1162363) (← links)
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- Morphology neural networks: An introduction with applications (Q1207732) (← links)
- Deriving graphs from graphs by applying a production (Q1215276) (← links)
- Characterizing Mal'cev conditions (Q1216327) (← links)
- A generalized approach to formal languages (Q1239608) (← links)
- IO and OI. I (Q1241985) (← links)
- IO and OI. II (Q1243578) (← links)
- Data types, abstract data types and their specification problem (Q1252032) (← links)
- On finitely based groups and nonfinitely based quasivarieties (Q1265546) (← links)
- An algebraic approach for morphological operations on 2D and 3D images (Q1334648) (← links)
- Approximation properties of abstract data types (Q1838281) (← links)
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960) (← links)
- Maps between a space and its square (Q1888468) (← links)
- Semi-algebraic decision complexity, the real spectrum, and degree (Q1916424) (← links)
- On elementary equivalence and isomorphism of clone segments (Q1922122) (← links)
- Partial morphisms on partial algebras (Q2264696) (← links)
- Projective sup-algebras: a general view (Q2469567) (← links)
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- (Q3318127) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA (Q3606406) (← links)
- (Q3662598) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- (Q3953140) (← links)
- Transformations of structures: An algebraic approach (Q3953162) (← links)