-
Toward a General Rewriting-Based Framework for Reducibility
Reducibility is a powerful proof method which applies to various properties of typed terms in different type systems. For strong normalization, different vari- ants... -
Rethinking Traditional Web Interaction
International audience -
A RT-PCR assay for the rapid recognition of border disease virus
International audience -
Molecular characterization of Mycobacterium tuberculosis complex isolates fro...
International audience -
Recent advances in the understanding of Chlamydophila pecorum infections, six...
International audience -
A pragmatic reconstruction of Lambda-Prolog
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... -
Un traitement sémantique de la polysémie lexicale dans le domaine du dialogue...
Colloque avec actes et comité de lecture. nationale.
