JAF7


LLAIC1, Université d'Auvergne CLERMONT-FERRAND (France)
25-26 mai 1993

CÉGIELSKI Patrick & RICHARD Denis - (LITP, Université Paris VII, LLAIC1, Université d'Auvergne), Codage sans réinterprétation isomorphe

DUPARC Jacques - (Équipe de Logique, Paris VII), Automates sur les boréliens

ESBELIN Henri-Alex - (LLAIC1, IUFM Université d'Auvergne), Sur-classes de l'arithmétique bornée

FINKEL Olivier - (Équipe de Logique, Paris VII), Théorie des modèles des formules locales

KHERIEF Khamsa & TOMASIK Jerzy - (LLAIC1, Université d'Auvergne), Problèmes de hiérarchie(s) pour les automates alternants

MORE Malika - (LLAIC1 Université d'Auvergne), Transformations sous-diagonales des spectres

RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), Modèles finis et indiscernables

SIMONNET Pierre - (Université Paris VII), Hiérarchie sur les automates

SURESON Claude - (CNRS, Université Paris VII), Arithmétique bornée