Utilisateur:PhilippeMuller : Différence entre versions
m (→Contributions) |
|||
| (3 révisions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 12 : | Ligne 12 : | ||
* [[Structures d'ordre]] | * [[Structures d'ordre]] | ||
| − | * opérations: | + | * opérations: [[Lambda-calcul]], [[Unification]] |
| + | * [[Logique(s) temporelle(s)]] | ||
| + | * common ground (en cours) | ||
| + | * lfg, glue logics (en cours) | ||
Version actuelle datée du 11 octobre 2006 à 15: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
- opérations: Lambda-calcul, Unification
- Logique(s) temporelle(s)
- common ground (en cours)
- lfg, glue logics (en cours)
