Jean-pierre jouannaud

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