Pages that link to "Item:Q5048929"
From MaRDI portal
The following pages link to Undecidability results on two-variable logics (Q5048929):
Displaying 5 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- On logics with two variables (Q1960419) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Undecidable First-Order Theories of Affine Geometries (Q2871479) (← links)
