Pages that link to "Item:Q3623007"
From MaRDI portal
The following pages link to First-Order and Temporal Logics for Nested Words (Q3623007):
Displayed 8 items.
- Evolving schemas for streaming XML (Q638517) (← links)
- Regular languages of nested words: fixed points, automata, and synchronization (Q649107) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Hybrid and First-Order Complete Extensions of CaRet (Q3010360) (← links)
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties (Q3067539) (← links)
- ProMoVer: Modular Verification of Temporal Safety Properties (Q3095249) (← links)
- Realizability of Concurrent Recursive Programs (Q3617744) (← links)
- State Complexity of Nested Word Automata (Q3618567) (← links)