. . "R\u00E9\u00E9criture (informatique)"@fr . . . . . . . . . "433"^^ . . "Latteux"@fr . . . . "Termersetzungssystem"@de . . . . . . . "Yves"@fr . "1986"^^ . "Michel"@fr . . "298610"^^ . . "En informatique th\u00E9orique, la r\u00E9\u00E9criture (ou r\u00E9criture) est un mod\u00E8le de calcul dans lequel il s\u2019agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des r\u00E8gles bien pr\u00E9cises. La r\u00E9\u00E9criture est utilis\u00E9e en informatique, en alg\u00E8bre, en logique math\u00E9matique et en linguistique. La r\u00E9\u00E9criture est utilis\u00E9e en pratique pour la gestion des courriers \u00E9lectroniques (dans le logiciel sendmail, les ent\u00EAtes de courrier sont manipul\u00E9es par des syst\u00E8mes de r\u00E9\u00E9criture) ou la g\u00E9n\u00E9ration et l'optimisation de code dans les compilateurs."@fr . . . . "Technique et Science Informatiques"@fr . . . . . . . . "\u9805\u66F8\u304D\u63DB\u3048"@ja . . . . . . . . . . "Theoretical Computer Science"@fr . . . . . . . . "Jean-Pierre Jouannaud"@fr . . . . . . . . "2019"^^ . . . . . . . . . . . . . "Pierre Lescanne"@fr . . . . . . "On prefixal one-rule string rewrite systems"@fr . . . . . . . . . . . "Roos"@fr . . . . . "5"^^ . . "\u041F\u0435\u0440\u0435\u043F\u0438\u0441\u044B\u0432\u0430\u043D\u0438\u0435"@ru . . "2019-10-15"^^ . . . . . . . "10.1016"^^ . "18991"^^ . "185386542"^^ . . "La R\u00E9\u00E9criture"@fr . . . "En informatique th\u00E9orique, la r\u00E9\u00E9criture (ou r\u00E9criture) est un mod\u00E8le de calcul dans lequel il s\u2019agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des r\u00E8gles bien pr\u00E9cises. La r\u00E9\u00E9criture est utilis\u00E9e en informatique, en alg\u00E8bre, en logique math\u00E9matique et en linguistique. La r\u00E9\u00E9criture est utilis\u00E9e en pratique pour la gestion des courriers \u00E9lectroniques (dans le logiciel sendmail, les ent\u00EAtes de courrier sont manipul\u00E9es par des syst\u00E8mes de r\u00E9\u00E9criture) ou la g\u00E9n\u00E9ration et l'optimisation de code dans les compilateurs."@fr . . . "Sistema de redu\u00E7\u00E3o"@pt . . . "Herschrijven (theoretische informatica)"@nl . . . . . . . . . . . "Rewriting"@en . . . . . . . . "6"^^ . . . . . . . . . "240"^^ . . . "795"^^ . . . . . . . . "304"^^ . . . . .