JAF6



LITP, Université PARIS VII (France)


26-27 novembre 1992




CEGIELSKI Patrick & RICHARD Denis - (LITP, Université Paris VII, LLAIC1, Université d'Auvergne), Une application de la complexité calculatoire à la non-définissabilité.


ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Sur le problème de la caractérisation inductive des prédicats rudimentaires.


GRIGORIEFF Serge - (LITP, Université Paris VII), Sur les relations rationnelles.


KHERIEF Khamsa - (LLAIC1, Université d'Auvergne), Historique des prédicats rudimentaires.


KUTYLOVSKI Miroslaw - (Wroclaw University, Pologne), Generalized Grzegorczyk hierarchy.


RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), Applications des séries généralisées aux corps exponentiels.


YUNES Jean-Baptiste - (LITP, Université Paris VII), Automates cellulaires et théorie des nombres.


WILKIE Alex - (Oxford University, U.K.), Sur la décidabilité du corps réel exponentiel.