JAF6


LITP, Université PARIS VII (France)
26-27 novembre 1992

CÉGIELSKI Patrick & RICHARD Denis - (LITP, Université Paris VII, LLAIC1, Université d'Auvergne), Une application de la complexité calculatoire à la non-définissabilité published paper

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

KUTYLOWSKI Miroslaw - (Wroclaw University, Poland), Generalized Grzegorczyk hierarchy

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

YUNÈS 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