Knowledge Tree

researcher / Sylvain Schmitz

Sylvain Schmitz

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Approximation de grammaires algébriques pour l'analyse syntaxique et la vérification

Directed Thesis:

Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique