Search
-
Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof
(Information Processing Letters. vol. 52, pp. 137--145, 1994)Article de revue -
Constructor Equivalent Term Rewriting Systems
(Information Processing Letters. vol. 47, pp. 131--137, 1993)Article de revue -
Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems
(Journal of Symbolic Computation. vol. 18, pp. 319--352, 1994)Article de revue -
Architecture de l'ordinateur
(Dunod, 2005)Ouvrage -
Decidable Call-by-Need Computations in Term Rewriting
(Information and Computation. vol. 2, n° 196, pp. 95-126, 2005)Article de revue -
TreeLex: A Subcategorisation Lexicon for French Verbs
Communication dans un congrès -
Untitled
Communication dans un congrès -
Les indices pronominaux du français dans les grammaires catégorielles
(Lingvisticae investigationes : International Journal of Linguistics and Language. vol. 27, n° 1, pp. 137-146, 2006)Article de revue -
Generalized quantifiers in declarative and interrogative sentences
(Logic Journal of the IGPL. vol. 11, n° 4, pp. 419-434, 2003)Article de revue -
Untitled
Communication dans un congrès