-
Encyclopédie de l'Informatique et des Systèmes d'Information
International audience -
Logics for XML
Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre...
