Research Catalog

Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.

Title
Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.
Author
Quintarelli, Elisa

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library QA76.7 .Q49 2004Off-site

Details

Additional Authors
Quintarelli, Elisa
Description
xvi, 134 p. : ill.; 24cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 2917
Subject
  • Query languages (Computer science)
  • Information storage and retrieval systems
ISBN
3540209719 (softcover : alk. paper)
LCCN
2004042929
Owning Institutions
Columbia University Libraries