• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Sublinear DTD Validity
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Compte-rendu et recension critique d'ouvrage
Permalink :
http://hdl.handle.net/20.500.12210/25459
Title :
Sublinear DTD Validity
Author(s) :
Ndione, Antoine [Auteur]
Linking Dynamic Data [LINKS]
Lemay, Aurélien [Auteur]
Linking Dynamic Data [LINKS]
Niehren, Joachim [Auteur]
Linking Dynamic Data [LINKS]
Publication date :
2015-08-01
English keyword(s) :
automata
regular tree languages
Property testing
XML
databases
HAL domain(s) :
Informatique [cs]/Théorie et langage formel [cs.FL]
Language :
Anglais
Popular science :
Non
ANR Project :
Requêtes d'Agrégation
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Submission date :
2020-05-29T08:01:52Z
Université de Lille

Mentions légales
Université de Lille © 2017