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