Heterogeneous algebras
From MaRDI portal
Publication:5611775
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)
Related Items
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
