scientific article; zbMATH DE number 3479108

Cited in

(30)

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

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)