Heterogeneous algebras - MaRDI portal

Cited in

(only showing first 100 items - show all)

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

This page was built for publication: Heterogeneous algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5611775)