Utilisateur:PhilippeMuller : Différence entre versions
m (→Contributions) |
|||
| Ligne 11 : | Ligne 11 : | ||
==Contributions== | ==Contributions== | ||
| − | * [[Structures d'ordre]] | + | * [[Structures d'ordre]], [[Lambda-calcul]] |
| − | * opérations: unification | + | * opérations: unification (en cours de traduction wiki) |
| + | * logiques temporelles (en cours de traduction wiki) | ||
| + | * common ground (en cours) | ||
| + | * lfg, glue logics (en cours) | ||
Version du 9 octobre 2006 à 14:58
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, Lambda-calcul
- opérations: unification (en cours de traduction wiki)
- logiques temporelles (en cours de traduction wiki)
- common ground (en cours)
- lfg, glue logics (en cours)
