scientific article; zbMATH DE number 3626572

zbMath0403.68017MaRDI QIDQ4188716

V. G. Lohberger, Hans-Dieter Ehrich

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Graph ReplacementsParameter SubstitutionParametric Specification of Abstract Data Types

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Semantics in the theory of computing (68Q55) Data structures (68P05) Categories of machines, automata (18B20)

Related Items (3)

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

This page was built for publication: