Pages that link to "Item:Q1749228"
From MaRDI portal
The following pages link to Applying model-checking to solve queries on semistructured data (Q1749228):
Displaying 6 items.
- Computation tree logic model checking based on possibility measures (Q529055) (← links)
- Schemaless semistructured data revisited -- reinventing Peter Buneman's deterministic semistructured data model (Q1799315) (← links)
- Model-checking based data retrieval. An application to semistructured and temporal data. (Q1880661) (← links)
- Semantic consistency checking in building ontology from heterogeneous sources (Q2336201) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) (Q5398038) (← links)