Pages that link to "Item:Q1880661"
From MaRDI portal
The following pages link to Model-checking based data retrieval. An application to semistructured and temporal data. (Q1880661):
Displaying 4 items.
- Queries and computation on the web (Q1575133) (← links)
- Operational and abstract semantics of the query language G-Log (Q1607222) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)