Pages that link to "Item:Q5919481"
From MaRDI portal
The following pages link to Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481):
Displayed 4 items.
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)