JAF17


LLAIC1, Université d'Auvergne, CLERMONT-FERRAND (France)
9-11 février 1999

BÈS Alexis - (LLAIC1, Université de Mons, Belgique), On the theory of ordinal multiplication

CHAPUIS Olivier - (Équipe CNRS Desargues, Université LYON 1), Introduction to complexity theory over infinite structures

COLSON Loïc & GRIGORIEFF Serge - (LLAIC1, Université Paris 7), Syntactical Thruth Predicates published paper

DUPARC Jacques & RESSAYRE Jean-Pierre - (Équipe de Logique, Université Paris 7), Winning strategies for infinite games: recalls on effectively and non effectively results (1) long version published in proceedings

ESBELIN Henri-Alex & ESPEL-LLIMA Roger - (LLAIC1, Université d'Auvergne), Automata, trees and modular counting

FINKEL Olivier - (Équipe de Logique, Université Paris 7), Infinite games refereed by push down and counter automata

GÉRARD Yan - (LLAIC1, Université d'Auvergne), Reducing factorisation problem in N[X1,..., Xn] to factorisation problem in N[X] via polyominos

HACHAÏCHI Yassine - (Équipe de Logique, Paris 7), Logic for unambiguous context free languages

KRAJICEK Jan - (Academy of Sciences of Praha and Oxford University), Introduction to propositional proof complexity

NÉZONDET Francis - (LLAIC1, Université d'Auvergne), Une caractérisation finitiste de la consistance : une catapulte pour HENKIN

RESSAYRE Jean-Pierre - (CNRS, Équipe de Logique, Paris 7), Winning strategies for infinite games: recalls on effectively and non effectively results (2) long version published in proceedings

RESSAYRE Jean-Pierre - (CNRS, Équipe de Logique, Paris 7), Weak Arithmetics long version published in proceedings

REVEILLÈS Jean-Pierre - (LLAIC1, Université d'Auvergne), Arithmetisation within digital geometry

RICHARD Denis - (LLAIC1, Université d'Auvergne), What are weak arithmetics? published paper

TOMASIK Jersy - (LLAIC1, Université Blaise Pascal), Marczewski-Szpilrajn spectral problem

VSEMIRNOV Maxim - (Steklov Institute, St Petersburg, Russia), Woods-Erdös conjecture for polynomial rings


Proceedings