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

  1. (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 l’informatique
  • Portail de la logique Portail de la logique
Ce document provient de « Jean-Pierre Jouannaud ».

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”