PDL for structured data: a graph-calculus approach (Q4644610)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: PDL for structured data: a graph-calculus approach |
scientific article; zbMATH DE number 6998044
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PDL for structured data: a graph-calculus approach |
scientific article; zbMATH DE number 6998044 |
Statements
PDL for structured data: a graph-calculus approach (English)
0 references
8 January 2019
0 references
structured data
0 references
propositional dynamic logic
0 references
concurrency
0 references
graph calculus
0 references
refutation
0 references
0.84770167
0 references
0.83891904
0 references
0.83891904
0 references
0.83739734
0 references
0.83572805
0 references
0.8296913
0 references
0.8283551
0 references
0 references
