Pages that link to "Item:Q5200043"
From MaRDI portal
The following pages link to An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043):
Displaying 8 items.
- Nested antichains for WS1S (Q1733101) (← links)
- Controlling the data space of tree structured computations (Q1877554) (← links)
- Lazy Automata Techniques for WS1S (Q3303905) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5918382) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501) (← links)