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

Shelfclass_id 4.D
Sortkey QUINTARELLI, ELISA
Authors Elisa Quintarelli
Title Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data
Publisher Springer-Verlag
Year c2004
Languages eng
Isbn 3540209719
Series Lecture Notes in Computer Science
Volume 2917
Issn 0302-9743
Description (softcover: alk. paper) xvi, 134 p. ill. 24 cm
Record date 20060717
Location New York
Keywords Query languages (Computer science), Information storage and retrieval systems