scientific article; zbMATH DE number 3479108

Cited in

(28)

Algebraic domain equations
A left adjoint construction related to free triples
Discrete-time machines in closed monoidal categories. I
Equational logic of circular data type specification
Realization theory for automata in categories
Categories of Automata and Languages Based on a Complete Residuated Lattice
Minimal fuzzy realization for fuzzy behaviour: a bicategory-theoretic approach
Categorical constructions of free algebras, colimits, and completions of partial algebras
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
Automata theory based on complete residuated lattice-valued logic: a categorical approach
Studying equivalences of transition systems with algebraic tools
On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
On conservative extensions of syntax in system development
The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
Parallelism and concurrency of graph manipulations
On the algebra of order
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
CGOOD, a categorical graph-oriented object data model
A categorical framework for learning generalised tree automata
Coproducts and decomposable machines
On a category of fuzzy automata with relations
Minimal realization for fuzzy behaviour: a bicategory-theoretic approach
Parallel high-level replacement systems
Compatibility problems in the development of algebraic module specifications
Machines in a category
scientific article; zbMATH DE number 3588574 (Why is no real title available?)
On the existence of free models in abstract algebraic institutions
Automata and coalgebras in categories of species

This page was built for publication:

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