InforLorV4, Istex, Corpus, indexItem, Author.i, Pierre Lescanne

Pierre Lebon < Pierre Lescanne < Pierre Leschanne

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 32.
[0-20] [0 - 20][0 - 32][20-31][20-40]**** probable Xml problem ****

Ident.	Authors (with country if any)	Title
000125 (1984)	Pierre Lescanne	Term Rewriting Systems and Algebra
000193 (1990)	Pierre Lescanne	On the recursive decomposition ordering with lexicographical status and other related orderings
000439 (2013)	Pierre Lescanne	A Simple Case of Rationality of Escalation
000681 (1995)	Pierre Lescanne	Termination of rewrite systems by elementary interpretations
000890 (2003)	Dan Dougherty ; Pierre Lescanne	Reductions, intersection types, and explicit substitutions
000899 (1990)	Françoise Bellegarde ; Pierre Lescanne	Termination by completion
000976 (1995)	Pierre Lescanne ; Jocelyne Rouyer-Degli	Explicit substitutions with de bruijn's levels
000E47 (1982)	Pierre Lescanne	Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems
001064 (1991)	Pierre Lescanne	Rewrite orderings and termination of rewrite systems
001133 (1992)	Pierre Lescanne	Termination of rewrite systems by elementary interpretations
001200 (1996)	Zine-El-Abidine Benaissa ; Daniel Briaud ; Pierre Lescanne ; Jocelyne Rouyer-Degli	λν, a calculus of explicit substitutions which preserves strong normalisation
001261 (1992)	Adam Cichon ; Pierre Lescanne	Polynomial interpretations and the complexity of algorithms
001266 (1976)	Pierre Lescanne	Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques
001580