Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data

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

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

Author

Elisa Quintarelli

Series

Lecture Notes in Computer Science

Volume

2917

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

Pages

XVII, 135

Language

en

ISBN

9783540209713, 9783540246039, 3540209719

ARI Id

1664629292457

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 7 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Programming languages (electronic computers) Information storage and retrieval systems Query languages (Computer science)