Utilisateur:PhilippeMuller
Révision datée du 9 octobre 2006 à 15:21 par PhilippeMuller (discussion | contributions) (→Contributions)
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
- logiques temporelles (en cours de traduction wiki)
- common ground (en cours)
- lfg, glue logics (en cours)
