Le moteur de recherche
des thèses françaises
Jean-Pierre Jouannaud
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Théorie des types
Vision artificielle (robotique)
Perception visuelle du mouvement
Réseaux d'interconnexion
Résistance aux pannes de grands réseaux
Réseaux d'ordinateurs
Réécriture
Trequasi
Prolog (langage de programmation)
LISP (langage de programmation)
Complétion
Preuves de terminaison (informatique)
Approche incrémentale (informatique)
Commutation, Théorie de la
Confluence
Diagrammes décroissants
Paires critiques
Spécifications algébriques
Systèmes concurrents