Metric temporal graph logic over typed attributed graphs (Q6091323)
From MaRDI portal
scientific article; zbMATH DE number 7770533
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Metric temporal graph logic over typed attributed graphs |
scientific article; zbMATH DE number 7770533 |
Statements
Metric temporal graph logic over typed attributed graphs (English)
0 references
24 November 2023
0 references
nested graph conditions
0 references
metric temporal logic
0 references
sequence properties
0 references
typed attributed graphs
0 references
symbolic graphs
0 references
