Algebras with a Scheme of Operators
From MaRDI portal
Cited in
(60)- An algebraic approach to the syntax and semantics of languages with subscripted variables
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Quasivarieties of automata. Connections with quasigroups
- Weak varieties of partial algebras
- Polymorphic syntax definition
- Algebraic processing of programming languages
- Varieties of chain-complete algebras
- Hyperidentities and hypervarieties
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Characterizing Mal'cev conditions
- A generalized approach to formal languages
- The Magnus representation in congruence modular varieties
- Many-sorted algebras in congruence modular varieties
- Modelling and computing homotopy types: I
- Radical theory for algebras with a scheme of operators
- Specification languages in algebraic compilers
- Reflection-closed varieties of multisorted algebras and minor identities
- Fuzzy sets as two-sorted algebras
- The two-sorted algebraic theory of states, and the universal states of MV-algebras
- Weighted parsing for grammar-based language models over multioperator monoids
- ``Not just an idle game: the story of higher-dimensional versions of the Poincaré fundamental group
- On the semantic equivalence of language syntax formalisms
- Partial morphisms on partial algebras
- Bilattices and hyperidentities
- Free decompositions in certain primitive classes of abstract algebras
- Admissible subgroups of \(\Gamma\)-free groups
- m-ary \(\Omega\)-ringoids
- The logic-algebraic equations method in system dynamics
- Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
- Some logical invariants of algebras and logical relations between algebras
- Contextual grammars vs. context-free algebras
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Many-sorted and single-sorted algebras
- Birkhoff-Frink representations as functors
- QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA
- Groups, triality, and hyperquasigroups.
- An Oxford survey of order sorted algebra
- scientific article; zbMATH DE number 1022228 (Why is no real title available?)
- scientific article; zbMATH DE number 1154170 (Why is no real title available?)
- scientific article; zbMATH DE number 1522507 (Why is no real title available?)
- Hyperidentities and related concepts. I
- Syntax versus semantics in knowledge bases – I
- Hyperidentities and related concepts. II
- Homomorphisms of heterogeneous algebras
- Zariski closed algebras in varieties of universal algebra.
- Algebraic logic and logically-geometric types in varieties of algebras
- THE LANGUAGE OF GENERAL SYSTEMS LOGICAL THEORY (GSLT)
- Applications of type theory
- Logically automorphically equivalent knowledge bases models
- On homomorphisms of many-sorted algebraic systems in connection with cryptographic applications
- Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
- scientific article; zbMATH DE number 3259916 (Why is no real title available?)
- Some remarks on free categories and free groupoids
- Towards free localic algebras
- Relations in operational categories
- A theory of binding structures and applications to rewriting
- Programs in partial algebras
- Quantifier-free formulas and quantifier alternation depth in doctrines
- Equational type logic
- A 2-categorial generalization of the concept of institution
This page was built for publication: Algebras with a Scheme of Operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5727668)
