scientific article; zbMATH DE number 4128423
From MaRDI portal
Publication:4207604
zbMath0688.68077MaRDI QIDQ4207604
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Graphs, diagram schemes, precategories (18A10)
Related Items (7)
A generalization of the concept of sketch ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ The logic of structures ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositional SOS and beyond: A coalgebraic view of open systems
This page was built for publication:
