Search - Archive ouverte HAL Access content directly

Filter your results

139 Results
Image document

Multiple sclerosis prevalence in Ireland: relationship to vitamin D status and HLA genotype.

Roisin Lonergan , Katie Kinsella , Patricia Fitzpatrick , Jennifer Brady , Barbara Murray et al.
Journal of Neurology, Neurosurgery and Psychiatry, 2011, 82 (3), pp.317. ⟨10.1136/jnnp.2010.220988⟩
Journal articles hal-00609402v1
Image document

IMPROVEMENT OF SALES PREDICTION BY FITTED-TO-PRODUCT TIME-SERIES MODELS

Mohamed Sameh Belaid , Stéphane Lecoeuche , Anthony Fleury , Baptiste Herve
13ème CONFERENCE INTERNATIONALE DE MODELISATION, OPTIMISATION ET SIMULATION (MOSIM2020), 12-14 Nov 2020, AGADIR, Maroc, Nov 2020, AGADIR (virtual), Morocco
Conference papers hal-03190657v1
Image document

An Effective Extension of the Wagner Hierarchy to Blind Counter Automata

Olivier Finkel
Computer Science Logic 15th International Workshop, CSL 2001, 10th Annual Conference of the European Association for Computer Science Logic, Paris, September 10-13, 2001., 2001, France. pp.369-383
Conference papers hal-00114314v2
Image document

Classification des injections virtuelles

Christophe Chalons
2014
Preprints, Working Papers, ... hal-01077555v2
Image document

On the Length of the Wadge Hierarchy of Omega Context Free Languages

Olivier Finkel
Journal of Automata Languages and Combinatorics, 2005, 10 (4), pp.439-464
Journal articles hal-00122154v2

Stretchings

Olivier Finkel , Jean-Pierre Ressayre
The Journal of Symbolic Logic, 1996, 61 (2), pp.563-585
Journal articles hal-00103669v1
Image document

Closure Properties of Locally Finite Omega Languages

Olivier Finkel
Theoretical Computer Science, 2004, 322 (1), pp.69-84
Journal articles hal-00104203v2
Image document

The Complexity of Infinite Computations In Models of Set Theory

Olivier Finkel
Logical Methods in Computer Science, 2009, 5 (4:4), pp.1-19
Journal articles hal-00422538v3
Image document

Some Problems in Automata Theory Which Depend on the Models of Set Theory

Olivier Finkel
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2011, 45 (4), pp.383 - 397. ⟨10.1051/ita/2011113⟩
Journal articles hal-00614658v1

Functors and ordinal notations III : dilators and gardens

Jacqueline Vauzeilles
Herbrand Symposium, 1982, Marseille, France. pp.333-364
Conference papers hal-00003549v1
Image document

On the Topological Complexity of Infinitary Rational Relations

Olivier Finkel
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2003, 37 (2), pp.105-113
Journal articles hal-00122252v2
Image document

Chang's conjecture may fail at supercompact cardinals

Bernhard Koenig
2006
Preprints, Working Papers, ... hal-00023748v1
Image document

The Busy Beaver Competition: a historical survey

Pascal Michel
2022
Preprints, Working Papers, ... hal-00396880v7
Image document

Groupes simples connexes minimaux algébriques de type impair

Adrien Deloro
Journal of Algebra, 2007, 317 (2), pp.877-923. ⟨10.1016/j.jalgebra.2007.02.009⟩
Journal articles hal-00756748v1
Image document

Borel Ranks and Wadge Degrees of Omega Context Free Languages

Olivier Finkel
2005, pp.129-138
Conference papers hal-00117508v1
Image document

Une conjecture plus maniable et qui l'entraîne de la conjecture de Hadwiger

Christophe Chalons
1998
Preprints, Working Papers, ... hal-01075831v1
Image document

Some characterizations of gamma and beta-acyclicity of hypergraphs

David Duris
2008
Preprints, Working Papers, ... hal-00360321v1
Image document

Théorie des modèles des corps munis d'une dérivation de Hasse

Franck Benoist
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français. ⟨NNT : ⟩
Theses tel-00134889v1

Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs

Jacqueline Vauzeilles , Jean-Yves Girard
Archive for Mathematical Logic, 1985, 24, pp.167-191
Journal articles hal-00003501v1
Image document

On Decidability Properties of Local Sentences

Olivier Finkel
2005, pp.75-92
Conference papers hal-00117501v1

Cut-elimination and Interpolation for the Omega-Logic

Jacqueline Vauzeilles
Archive for Mathematical Logic, 1988, 27, pp.161-175
Journal articles hal-00003514v1

Functors and ordinal notations I : a functorial construction of the Veblen hierarchy

Jacqueline Vauzeilles , Jean-Yves Girard
The Journal of Symbolic Logic, 1984, 49, pp.713-729
Journal articles hal-00003495v1

Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy

Jacqueline Vauzeilles , Jean-Yves Girard
Journal of Symboloic Logic, 1984, 49, pp.1079-1114
Journal articles hal-00003496v1
Image document

On Omega Context Free Languages which are Borel Sets of Infinite Rank

Olivier Finkel
Theoretical Computer Science, 2003, 299 (1-3), pp.327-346
Journal articles hal-00104196v2
Image document

On the Accepting Power of 2-Tape Büchi Automata

Olivier Finkel
23rd International Symposium on Theoretical Aspects of Computer Science, STACS 2006, 2006, France. pp.301-312
Conference papers hal-00139152v2
Image document

On Winning Conditions of High Borel Complexity in Pushdown Games

Olivier Finkel
Fundamenta Informaticae, 2005, 66 (3), pp.277-298
Journal articles hal-00109940v2
Image document

On Decision Problems for Timed Automata

Olivier Finkel
Bulletin- European Association for Theoretical Computer Science, 2005, 87, pp.185-190
Journal articles hal-00111148v1
Image document

théorèmes de la cible et émergence naturelle des ultra ltres

Christophe Chalons
1999
Preprints, Working Papers, ... hal-00974318v1
Image document

Decision Problems for Recognizable Languages of Infinite Pictures

Olivier Finkel
28 th Weak Arithmetic Days, Journées sur les Arithmétiques Faibles, Jun 2009, Fontainebleau, France. pp.127-151
Conference papers hal-00612486v1
Image document

On Some Sets of Dictionaries Whose omega-Powers Have a Given Complexity

Olivier Finkel
Mathematical Logic Quarterly, 2010, 56 (5), pp.452-460. ⟨10.1002/malq.200810154⟩
Journal articles hal-00432736v1