scientific article
From MaRDI portal
Publication:3787451
zbMath0644.68030MaRDI QIDQ3787451
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Graphs, diagram schemes, precategories (18A10)
Related Items
Functorial theory of parameterized specifications in a general specification framework ⋮ A generalization of the concept of sketch ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ Unnamed Item
