Pages that link to "Item:Q2904796"
From MaRDI portal
The following pages link to The limits of decidability for first order logic on CPDA graphs (Q2904796):
Displaying 5 items.
- Krivine machines and higher-order schemes (Q476196) (← links)
- On first-order logic and CPDA graphs (Q2254514) (← links)
- The IO and OI hierarchies revisited (Q2347807) (← links)
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic (Q4635884) (← links)
- First-Order Logic on CPDA Graphs (Q4981168) (← links)