scientific article; zbMATH DE number 3479108
From MaRDI portal
Publication:4063607
zbMATH Open0306.18002MaRDI QIDQ4063607FDOQ4063607
Authors: Michael A. Arbib, Ernest G. Manes 
Publication date: 1975
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Categories of machines, automata (18B20) Axiomatic systems theory (93A05)
Cited In (28)
- A left adjoint construction related to free triples
- A categorical framework for learning generalised tree automata
- Parallel high-level replacement systems
- Machines in a category
- 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
- Parallelism and concurrency of graph manipulations
- Categorical constructions of free algebras, colimits, and completions of partial algebras
- Title not available (Why is that?)
- On the existence of free models in abstract algebraic institutions
- Categories of Automata and Languages Based on a Complete Residuated Lattice
- Discrete-time machines in closed monoidal categories. I
- Realization theory for automata in categories
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- Compatibility problems in the development of algebraic module specifications
- Equational logic of circular data type specification
- Coproducts and decomposable machines
- Minimal realization for fuzzy behaviour: a bicategory-theoretic approach
- Minimal fuzzy realization for fuzzy behaviour: a bicategory-theoretic approach
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- On a category of fuzzy automata with relations
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
- CGOOD, a categorical graph-oriented object data model
- Algebraic domain equations
- On the algebra of order
- Automata and coalgebras in categories of species
- On conservative extensions of syntax in system development
- Studying equivalences of transition systems with algebraic tools
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)
