Indécidabilité de la logique équationelle. [1]
Jeudi, 6 Octobre, 2005 - 18:50
Prénom de l'orateur :
Cody
Nom de l'orateur :
ROUX
Résumé :
(stage de première année)
Thème de recherche :
Mathématiques et applications
Salle :
04
(stage de première année)
Liens
[1] https://www-fourier.univ-grenoble-alpes.fr/?q=fr/content/ind%C3%A9cidabilit%C3%A9-de-la-logique-%C3%A9quationelle