Published on UMR 5582 - Laboratoire de mathématiques (https://www-fourier.univ-grenoble-alpes.fr)

Accueil > Indécidabilité de la logique équationelle.

Indécidabilité de la logique équationelle. [1]

Thursday, 6 October, 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
Source URL: https://www-fourier.univ-grenoble-alpes.fr/?q=en/content/ind%C3%A9cidabilit%C3%A9-de-la-logique-%C3%A9quationelle

Links
[1] https://www-fourier.univ-grenoble-alpes.fr/?q=en/content/ind%C3%A9cidabilit%C3%A9-de-la-logique-%C3%A9quationelle