Utilisateur:PhilippeMuller

Maître de Conférences en Informatique

Institut de Recherche en Informatique de Toulouse Université Paul Sabatier

muller /at/ irit.fr

http://www.irit.fr/~Philippe.Muller/

Contributions

• Structures d'ordre
• opérations: Lambda-calcul, Unification
• Logique(s) temporelle(s)
• common ground (en cours)
• lfg, glue logics (en cours)