Heterogeneous algebras

DOI10.1016/S0021-9800(70)80014-XzbMath0211.02003MaRDI QIDQ5611775

John D. Lipson, Garrett. Birkhoff

Publication date: 1970

Published in: Journal of Combinatorial Theory (Search for Journal in Brave)

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (96)

Structured algebraic specifications: A kernel language ⋮ Linear Logic Properly Displayed ⋮ On merging software extensions ⋮ An algebraic approach for morphological operations on 2D and 3D images ⋮ Ramsey algebras and the existence of idempotent ultrafilters ⋮ Unnamed Item ⋮ Maps between a space and its square ⋮ Homomorphisms of heterogeneous algebras ⋮ A second order theory of data types ⋮ Generalized algebraic theories and contextual categories ⋮ Equational specification of partial higher-order algebras ⋮ Synthesis and equivalence of concurrent systems ⋮ A duality for two-sorted lattices ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ Many-sorted and single-sorted algebras ⋮ The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope ⋮ Actads ⋮ Semi-algebraic decision complexity, the real spectrum, and degree ⋮ On elementary equivalence and isomorphism of clone segments ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Algebraic processing of programming languages ⋮ Final algebra semantics and data type extensions ⋮ Unnamed Item ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ On the structure of free finite state machines ⋮ Contextual grammars vs. context-free algebras ⋮ Nonlinear matrix decompositions and an application to parallel processing ⋮ Swarm-based translation-invariant morphological prediction method for financial time series forecasting ⋮ Varieties of chain-complete algebras ⋮ Algebras from finite group actions and a question of Eilenberg and Schützenberger ⋮ Projective limits in the categories of heterogeneous algebras and abstract automata ⋮ Generalised states: a multi-sorted algebraic approach to probability ⋮ On the semantic equivalence of language syntax formalisms ⋮ More on advice on structuring compilers and proving them correct ⋮ Dynamic Łukasiewicz logic and dynamic MV-algebras ⋮ Clones of topological spaces ⋮ Abstract characterization of input symbol semigroups of universal hypergraphic automata ⋮ Direct limits in the categories of non finitary heterogeneous algebras ⋮ Attribute grammars and recursive program schemes. I. II ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets ⋮ Distributed Modal Logic ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Relations in operational categories ⋮ Projective sup-algebras: a general view ⋮ Heterogeneous Ramsey algebras and classification of Ramsey vector spaces ⋮ Data types with errors and exceptions ⋮ Reflection-closed varieties of multisorted algebras and minor identities ⋮ Unnamed Item ⋮ Subdirectly irreducible fibered automata, Part 2 ⋮ Morphology neural networks: An introduction with applications ⋮ Deriving graphs from graphs by applying a production ⋮ Characterizing Mal'cev conditions ⋮ Partial morphisms on partial algebras ⋮ Cascades of tree-automata and computations in universal algebras ⋮ Fuzzy sets as two-sorted algebras ⋮ Semi De Morgan logic properly displayed ⋮ Distributed Relation Logic ⋮ Equational partiality ⋮ Unnamed Item ⋮ A generalized approach to formal languages ⋮ QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA ⋮ A 2-categorial generalization of the concept of institution ⋮ IO and OI. I ⋮ IO and OI. II ⋮ Bilattices and hyperidentities ⋮ The cartesian composition of automata ⋮ Modelling socio-political competition ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Data types, abstract data types and their specification problem ⋮ A Ramsey Algebraic Study of Matrices ⋮ The two-sorted algebraic theory of states, and the universal states of MV-algebras ⋮ HOMOMORPHISMS IN THE THEORY OF MODELLING ⋮ An order-algebraic definition of knuthian semantics ⋮ Weighted parsing for grammar-based language models over multioperator monoids ⋮ On finitely based groups and nonfinitely based quasivarieties ⋮ Equational type logic ⋮ Algebraic specification of data types: A synthetic approach ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Approximation properties of abstract data types ⋮ Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras ⋮ Formalization of universal algebra in Agda ⋮ An extension to trees of the Sardinas and Patterson algorithm ⋮ Proper multi-type display calculi for rough algebras ⋮ Unnamed Item ⋮ On the Pexider equation ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories ⋮ Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories ⋮ On conceptual completeness of syntactic-semantical systems ⋮ Dynamic Łukasiewicz logic and its application to immune system ⋮ A representation theorem for weak automorphisms of a universal algebra ⋮ Zero-place operations and functional completeness, and the definition of new connectives ⋮ Transformations of structures: An algebraic approach ⋮ Injective hulls of many-sorted ordered algebras

This page was built for publication: Heterogeneous algebras