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.

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540209719 ISBN 13:  9783540209713
Casa editrice: Springer, 2008
Brossura