Model-checking based data retrieval an application to semistructured and temporal data
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
2917 |
| Schlagworte: |
Langage d'interrogation
> Langages d'interrogation
> Model-checking (Informatique)
> Système d'information
> Systèmes d'information
> Information storage and retrieval systems
> Query languages (Computer science)
> Transitionssystem
> Abfragesprache
> Datenbanksystem
> Graphentheorie
> Model Checking
> Semistrukturierte Daten
> Zeitliches Datenbanksystem
> Information Retrieval
> Temporale Logik
> Hochschulschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Zugl.: Verona, Univ., Diss. |
|---|---|
| Beschreibung: | XVI, 134 S. |
| ISBN: | 3540209719 3-540-20971-9 |