Articoli correlati a Model-Checking Based Data Retrieval: An Application...

Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data - Brossura

Quintarelli, Elisa

 
9783662176641: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data

Sinossi

1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.