Diagrammatic specifications

From MaRDI portal

Revision as of 01:19, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4811557

Jump to:navigation, search

DOI10.1017/S0960129503003979zbMath1089.68063MaRDI QIDQ4811557

Dominique Duval

Publication date: 6 September 2004

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Deduction as reduction, from a categorical point of view ⋮ Logical rules as fractions and logics as sketches ⋮ Diagrammatic logic applied to a parameterisation process ⋮ Object oriented institutions to specify symbolic computation systems

This page was built for publication: Diagrammatic specifications

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4811557&oldid=19130234"