Pages that link to "Item:Q5727668"
From MaRDI portal
The following pages link to Algebras with a Scheme of Operators (Q5727668):
Displayed 42 items.
- Groups, triality, and hyperquasigroups. (Q425284) (← links)
- Relations in operational categories (Q678847) (← links)
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- Programs in partial algebras (Q685398) (← links)
- Equational type logic (Q752689) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- An algebraic approach to the syntax and semantics of languages with subscripted variables (Q1053444) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Quasivarieties of automata. Connections with quasigroups (Q1091144) (← links)
- Weak varieties of partial algebras (Q1112080) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- Algebraic processing of programming languages (Q1129126) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Hyperidentities and hypervarieties (Q1167196) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Characterizing Mal'cev conditions (Q1216327) (← links)
- A generalized approach to formal languages (Q1239608) (← links)
- The Magnus representation in congruence modular varieties (Q1271988) (← links)
- Many-sorted algebras in congruence modular varieties (Q1363439) (← links)
- Radical theory for algebras with a scheme of operators (Q1820844) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Partial morphisms on partial algebras (Q2264696) (← links)
- Free decompositions in certain primitive classes of abstract algebras (Q2544783) (← links)
- Admissible subgroups of \(\Gamma\)-free groups (Q2548323) (← links)
- m-ary \(\Omega\)-ringoids (Q2549714) (← links)
- Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
- Some logical invariants of algebras and logical relations between algebras (Q3079224) (← links)
- (Q3318127) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- Birkhoff-Frink representations as functors (Q3560968) (← links)
- QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA (Q3606406) (← links)
- An Oxford survey of order sorted algebra (Q4322433) (← links)
- (Q4339951) (← links)
- (Q4389699) (← links)
- (Q4510742) (← links)
- Homomorphisms of heterogeneous algebras (Q4799975) (← links)
- ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150) (← links)
- THE LANGUAGE OF GENERAL SYSTEMS LOGICAL THEORY (GSLT) (Q4934832) (← links)
- On homomorphisms of many-sorted algebraic systems in connection with cryptographic applications (Q5439057) (← links)
- Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge (Q5452197) (← links)
- (Q5545978) (← links)
- (Q5629811) (← links)