Indécidabilité de la logique équationelle. | UMR 5582 - Laboratoire de mathématiques

100, rue des maths 38610 Gières / GPS : 45.193055, 5.772076 / Directeur : Louis Funar

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

2024, Institut Fourier, UMR 5582 CNRS-UGA.