#reecriture
Documents
Contraintes d'anti-filtrage et programmation par réécriture, Anti-matching constraints and programming with rewrite rules
Documents
La réécriture des contes de fées dans la littérature espagnole de l'après guerre : l’exemple d’Ana María Matute, The Reelaboration of Fairy Tales in the Contemporary Spanish Literature : the Exemple of Ana María Matute
Documents
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage, Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing
Documents
Terminaison en temps moyen fini de systèmes de règles probabilistes, Termination within a finite mean time of probabilistic rules based systems
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
