Recherche
-
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages
Communication dans un congrès -
A discursive analysis of itineraries in an historical and regional corpus of travels
Communication dans un congrès -
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
(Springer, 2011)Ouvrage -
Talking and understanding: cognitive processes and computational models of the language faculty
Communication dans un congrès -
Autowrite: A Tool for Term Rewrite Systems and Tree Automata
Communication dans un congrès -
On the Modularity of Deciding Call-by-Need
Communication dans un congrès -
Autowrite: A Tool for Checking Properties of Term Rewriting Systems
Communication dans un congrès -
Encoding second order string ACG with Deterministic Tree Walking Transducers.
Communication dans un congrès -
Decidable Call by Need Computations in Term Rewriting
Communication dans un congrès