Towards a characterization of order-invariant queries over tame graphs (Q3616348)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a characterization of order-invariant queries over tame graphs |
scientific article |
Statements
Towards a characterization of order-invariant queries over tame graphs (English)
0 references
25 March 2009
0 references
finite model theory
0 references
expressive power of logics on finite graphs
0 references
Gaifman graph
0 references
definability
0 references
collapse
0 references
0 references
