Recherche
-
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 -
Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof
(Information Processing Letters. vol. 52, pp. 137--145, 1994)Article de revue