Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=139011749.

Analyse de XML avec données non-bornées [Texte imprimé] / Claire David ; sous la direction de Anca Muscholl et Luc Segoufin

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2009

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

XML (langage de balisage) -- Thèses et écrits académiques

Décidabilité (logique mathématique) -- Thèses et écrits académiques

Formalisme (mathématiques) -- Thèses et écrits académiques

Informatique -- Thèses et écrits académiques

Segoufin, Luc (Directeur de thèse / thesis advisor)

Muscholl, Anca (Directeur de thèse / thesis advisor)

Université Paris Diderot - Paris 7 (Organisme de soutenance / degree-grantor)