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

Quintarelli, Elisa

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

Synopsis

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

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9783540209713: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data: 2917 (Lecture Notes in Computer Science, 2917)

Featured Edition

ISBN 10:  3540209719 ISBN 13:  9783540209713
Publisher: Springer, 2004
Softcover