scientific article
From MaRDI portal
Publication:4063610
zbMATH Open0306.18005MaRDI QIDQ4063610FDOQ4063610
Eric G. Wagner, Jesse B. Wright, James W. Thatcher, Joseph Goguen
Publication date: 1975
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Controllability, observability, and system structure (93B99) Functor categories, comma categories (18A25) Categories of machines, automata (18B20) Axiomatic systems theory (93A05)
Cited In (11)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Varieties of ordered algebras
- An approach for data type specification and its use in program verification
- Discrete-time machines in closed monoidal categories. I
- Varieties of chain-complete algebras
- A constructive method for abstract algebraic software specification
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Title not available (Why is that?)
- Automata and coalgebras in categories of species
- Recursion-closed algebraic theories
- Parallel realization of systems, using factorizations and quotients in categories
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 Q4063610)
