Jean-pierre jouannaud
- Jean-pierre jouannaud
-
Jean-Pierre Jouannaud
Jean-Pierre Jouannaud (né le 21 mai 1947) est professeur de l'Université Paris 11. Il est un chercheur français en informatique, et a joué un rôle pionnier dans la théorie de la réécriture.[1]
Références
- ↑ (en) Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday, Springer, 2007 (ISBN 3540731466)
Portail de l’informatique
Portail de la logique
Catégories : Ancien élève de l'École polytechnique (France) | Personnalité française en informatique | Personnalité en informatique théorique | Scientifique français | Naissance en 1947 | Logicien | Théorie des types | Lauréat de la Médaille d'argent du CNRS
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Jean-pierre jouannaud de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Jean-Pierre Jouannaud — (né le 21 mai 1947) est professeur de l Université Paris 11. Il est un chercheur français en informatique, et a joué un rôle pionnier dans la théorie de la réécriture[1]. Références ↑ ( … Wikipédia en Français
Gérard Sabah — (né le 5 janvier 1948 à Paris), est un chercheur français en intelligence artificielle. Sommaire 1 Formation et carrière 2 Domaines de recherche 3 Vie privée 4 … Wikipédia en Français
Laboratoire franco-chinois de recherche en informatique, automatique et mathématiques appliquées — Création 1997 Siège Beijing Pays Chine … Wikipédia en Français
1947 en science — Années : 1944 1945 1946 1947 1948 1949 1950 Décennies : 1910 1920 1930 1940 1950 1960 1970 Siècles : XIXe siècle XXe siècl … Wikipédia en Français
Prix Michel Montpetit — Prix Montpetit Le Prix Monpetit a été créé en 1977 par l Académie des sciences pour récompenser un chercheur ou un ingénieur pour ses travaux dans le domaine des mathématiques appliquées ou de l informatique. Son nom vient de Michel Monpetit,… … Wikipédia en Français
Prix Montpetit — Le prix Monpetit a été créé en 1977 par l Académie des sciences pour récompenser un chercheur ou un ingénieur pour ses travaux dans le domaine des mathématiques appliquées ou de l informatique. Son nom vient de Michel Monpetit, directeur adjoint… … Wikipédia en Français
Rewriting — In mathematics, computer science and logic, rewriting covers a wide range of potentially non deterministic methods of replacing subterms of a formula with other terms. What is considered are rewrite systems (also rewriting systems, or term… … Wikipedia
Semi-Thue system — In computer science and mathematics a Semi Thue system (also called a string rewriting system [Book and Otto, p. 36] ) is a type of term rewriting system. It is named after the Norwegian mathematician Axel Thue, who introduced systematic… … Wikipedia
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Reduktionssystem — In der Mathematischen Logik und der Theoretischen Informatik steht die Bezeichnung Reduktionssystem, oder abstraktes Reduktionssystem, abgekürzt ARS, für eine Verallgemeinerung von Termersetzungssystemen. In seiner einfachsten Form ist ein ARS… … Deutsch Wikipedia
