First-Order Model Checking on Generalisations of Pushdown Graphs (Q3225588)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-Order Model Checking on Generalisations of Pushdown Graphs |
scientific article |
Statements
22 March 2012
0 references
verification
0 references
model checking
0 references
collapsible pushdown graphs
0 references
higher-order nested pushdown trees
0 references
tree-automatic structures
0 references
Ramsey quantifiers
0 references
math.LO
0 references
cs.FL
0 references
cs.LO
0 references
