Publication:4188716
From MaRDI portal
zbMath0403.68017MaRDI QIDQ4188716
Hans-Dieter Ehrich, V. G. Lohberger
Publication date: 1979
68Q45: Formal languages and automata
68R10: Graph theory (including graph drawing) in computer science
68Q55: Semantics in the theory of computing
68P05: Data structures
18B20: Categories of machines, automata
Related Items
Algebraic domain equations, 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