Modèles non déterministes de types abstraits

Lescanne, Pierre

RAIRO. Informatique théorique, Volume 16 (1982) p. 225-244

Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems

Lescanne, Pierre

RAIRO. Informatique théorique, Volume 16 (1982) p. 331-347

Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques

Lescanne, Pierre

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Volume 10 (1976) p. 57-81