Pages that link to "Item:Q5727668"
From MaRDI portal
The following pages link to Algebras with a Scheme of Operators (Q5727668):
Displayed 50 items.
- Many-sorted and single-sorted algebras (Q353361) (← links)
- Groups, triality, and hyperquasigroups. (Q425284) (← links)
- Zariski closed algebras in varieties of universal algebra. (Q484623) (← 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)
- Modelling and computing homotopy types: I (Q1688970) (← links)
- Radical theory for algebras with a scheme of operators (Q1820844) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Reflection-closed varieties of multisorted algebras and minor identities (Q1991602) (← links)
- Fuzzy sets as two-sorted algebras (Q2014425) (← links)
- The two-sorted algebraic theory of states, and the universal states of MV-algebras (Q2040522) (← links)
- Weighted parsing for grammar-based language models over multioperator monoids (Q2051800) (← links)
- On the semantic equivalence of language syntax formalisms (Q2202012) (← links)
- Partial morphisms on partial algebras (Q2264696) (← links)
- Bilattices and hyperidentities (Q2510765) (← 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)
- The logic-algebraic equations method in system dynamics (Q2849193) (← 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)
- (Q4606689) (← links)
- Syntax versus semantics in knowledge bases – I (Q4611332) (← links)
- (Q4612556) (← links)
- Homomorphisms of heterogeneous algebras (Q4799975) (← links)
- ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150) (← links)