Lore
From MaRDI portal
Software:42710
swMATH30996MaRDI QIDQ42710FDOQ42710
Author name not available (Why is that?)
Cited In (6)
- Model checking hybrid logics (with an application to semistructured data)
- OrientX: An integrated, schema based native XML database system
- Querying incomplete information in semistructured data
- Clustering DTDs: An interactive two-level approach.
- Theorem prover approach to semistructured data design
- Unauthorized inferences in semistructured databases
This page was built for software: Lore
