Pages that link to "Item:Q5048929"

The following pages link to Undecidability results on two-variable logics (Q5048929):

Displaying 4 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)