E-Book, Englisch, Band 2917, 135 Seiten, eBook
Quintarelli Model-Checking Based Data Retrieval
Erscheinungsjahr 2004
ISBN: 978-3-540-24603-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
An Application to Semistructured and Temporal Data
E-Book, Englisch, Band 2917, 135 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-24603-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.