JAF10


LLAIC1, Université d'Auvergne CLERMONT-FERRAND (France)
8-9 juin 1995

BÈS Alexis & RICHARD Denis - (LLAIC1, Université d'Auvergne), Frontières entre extensions décidables et indécidables de l'arithmétique de Skolem

CÉGIELSKI Patrick & THIBAU Violaine - (Université Paris XII, LITP, Université Paris VII), Type du récurseur en programmation fonctionnelle et totale prouvabilité

GUILLAUME Marcel & RICHARD Denis - (LLAIC1, Université d'Auvergne), Résultats sur les 3-destinées dans (N, S, ⊥)

KOREC Ivan - (Academy of Sciences, Bratislava, Slovaquie), Definability and uniform definability in generalized Pascal triangles published paper

MARGENSTERN Maurice & PAVLOWSKAIA Loudmilia - (LITP, Université Paris VII, Energetic Ingeniery Institute, Moscou, Russie), Une machine de Turing universelle à 2 instructions gauches

MATIYASEVICH Youri - (Steklov Institute, St Petersbourg, Russie, LLAIC1), A new method of coding tuples of natural numbers and its application for obtaining Diophantine representations

MAURIN Françoise - (GRAL, Université de Caen), De l'addition ordinale à la multiplication des entiers naturels

NÉZONDET Francis - (LLAIC1, Université d'Auvergne), Destinées, va-et-vient et conjecture d'Erdös-Woods

POINT Françoise - (FNRS, Université de Mons, Belgique), Sur une extension du théorème de Cobham-Semenov

RESSAYRE Jean-Pierre - (LITP, Université Paris VII), Preuve nouvelle et amélioration des principaux résultats sur le corps des réels muni d'un ensemble de fonctions analytiques restreintes

SURESON Claude - (LITP, Université Paris VII), Complexité et modèles de l'arithmétique

TOMASIK Jerzy - (LLAIC1, Université d'Auvergne), Automata that capture some (rudimentary) predicates

VALARCHER Pierre - (LITP, Université Paris VII), Intentionnalité des algorithmes primitifs récursifs