The limits of decidability for first order logic on CPDA graphs (Q2904796)
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: The limits of decidability for first order logic on CPDA graphs |
scientific article; zbMATH DE number 6070936
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The limits of decidability for first order logic on CPDA graphs |
scientific article; zbMATH DE number 6070936 |
Statements
23 August 2012
0 references
collapsible pushdown automata
0 references
first-order logic
0 references
logical reflection
0 references
0 references
0 references
0.87872136
0 references
0.8774858
0 references
0.86721116
0 references
0.86451423
0 references
0.86185616
0 references
0.8577614
0 references
The limits of decidability for first order logic on CPDA graphs (English)
0 references
