A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs (Q3190159)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs |
scientific article |
Statements
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs (English)
0 references
15 September 2014
0 references
description logic
0 references
graph transformation
0 references
programming language semantics
0 references
tableau calculus
0 references
