Filtrer vos résultats
- 113
- 36
- 72
- 31
- 31
- 8
- 3
- 2
- 1
- 1
- 1
- 111
- 91
- 6
- 4
- 1
- 1
- 1
- 1
- 3
- 3
- 4
- 5
- 5
- 2
- 2
- 5
- 4
- 16
- 5
- 8
- 5
- 4
- 8
- 7
- 8
- 15
- 8
- 4
- 8
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 128
- 20
- 1
- 118
- 15
- 13
- 8
- 7
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 43
- 12
- 9
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
149 résultats
|
|
Multiple sclerosis prevalence in Ireland: relationship to vitamin D status and HLA genotype.Journal of Neurology, Neurosurgery and Psychiatry, 2011, 82 (3), pp.317. ⟨10.1136/jnnp.2010.220988⟩
Article dans une revue
hal-00609402v1
|
||
|
|
IMPROVEMENT OF SALES PREDICTION BY FITTED-TO-PRODUCT TIME-SERIES MODELS13ème CONFERENCE INTERNATIONALE DE MODELISATION, OPTIMISATION ET SIMULATION (MOSIM2020), 12-14 Nov 2020, AGADIR, Maroc, Nov 2020, AGADIR (virtual), Morocco
Communication dans un congrès
hal-03190657v1
|
||
|
|
On the Topological Complexity of Infinitary Rational RelationsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2003, 37 (2), pp.105-113
Article dans une revue
hal-00122252v2
|
||
|
|
Groupes simples connexes minimaux algébriques de type impairJournal of Algebra, 2007, 317 (2), pp.877-923. ⟨10.1016/j.jalgebra.2007.02.009⟩
Article dans une revue
hal-00756748v1
|
||
|
|
Chang's conjecture may fail at supercompact cardinals2006
Pré-publication, Document de travail
hal-00023748v1
|
||
|
|
The Busy Beaver Competition: a historical survey2022
Pré-publication, Document de travail
hal-00396880v7
|
||
Functors and ordinal notations III : dilators and gardensHerbrand Symposium, 1982, Marseille, France. pp.333-364
Communication dans un congrès
hal-00003549v1
|
|||
|
|
The Complexity of Infinite Computations In Models of Set TheoryLogical Methods in Computer Science, 2009, 5 (4:4), pp.1-19
Article dans une revue
hal-00422538v3
|
||
|
|
Classification des injections virtuelles2014
Pré-publication, Document de travail
hal-01077555v2
|
||
|
|
Closure Properties of Locally Finite Omega LanguagesTheoretical Computer Science, 2004, 322 (1), pp.69-84
Article dans une revue
hal-00104203v2
|
||
|
|
An Effective Extension of the Wagner Hierarchy to Blind Counter AutomataComputer 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
Communication dans un congrès
hal-00114314v2
|
||
|
|
On the Length of the Wadge Hierarchy of Omega Context Free LanguagesJournal of Automata Languages and Combinatorics, 2005, 10 (4), pp.439-464
Article dans une revue
hal-00122154v2
|
||
StretchingsThe Journal of Symbolic Logic, 1996, 61 (2), pp.563-585
Article dans une revue
hal-00103669v1
|
|||
|
|
Some Problems in Automata Theory Which Depend on the Models of Set TheoryRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2011, 45 (4), pp.383 - 397. ⟨10.1051/ita/2011113⟩
Article dans une revue
hal-00614658v1
|
||
|
|
Computer Science and the Fine Structure of Borel SetsTheoretical Computer Science, 2001, 257 (1-2), pp.85-105
Article dans une revue
hal-00103673v1
|
||
|
|
Groupes simples connexes minimaux non-algébriques de type impairJournal of Algebra, 2008, 319 (4), pp.1636--1684. ⟨10.1016/j.jalgebra.2007.09.014⟩
Article dans une revue
hal-01303270v1
|
||
|
|
Simulation of the Collatz 3x+1 function by Turing machines2014
Pré-publication, Document de travail
hal-01067747v1
|
||
|
|
Le paradigme téléphonique2014
Pré-publication, Document de travail
hal-00976493v2
|
||
|
|
Problems in number theory from busy beaver competition2013
Pré-publication, Document de travail
hal-00879906v1
|
||
|
|
On Recognizable Languages of Infinite PicturesInternational Journal of Foundations of Computer Science, 2004, 15 (6), pp.823-840
Article dans une revue
hal-00355793v1
|
||
|
|
Théorie de Ramsey structurale des espaces métriques et dynamique topologique des groupes d'isométriesMathématiques [math]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨NNT : ⟩
Thèse
tel-00139239v1
|
||
|
|
Topological and Arithmetical Properties of Infinitary Rational Relations2002, 13 p
Communication dans un congrès
hal-00114323v1
|
||
|
|
On the Wadge Hierarchy of Omega Context Free Languages2001, pp.69-79
Communication dans un congrès
hal-00114310v1
|
||
|
|
On the Accepting Power of 2-Tape Büchi Automata23rd International Symposium on Theoretical Aspects of Computer Science, STACS 2006, 2006, France. pp.301-312
Communication dans un congrès
hal-00139152v2
|
||
Functors and ordinal notations I : a functorial construction of the Veblen hierarchyThe Journal of Symbolic Logic, 1984, 49, pp.713-729
Article dans une revue
hal-00003495v1
|
|||
Functors and ordinal notations II : a functorial construction of the Bachmann hierarchyJournal of Symboloic Logic, 1984, 49, pp.1079-1114
Article dans une revue
hal-00003496v1
|
|||
|
|
On Omega Context Free Languages which are Borel Sets of Infinite RankTheoretical Computer Science, 2003, 299 (1-3), pp.327-346
Article dans une revue
hal-00104196v2
|
||
|
|
On Winning Conditions of High Borel Complexity in Pushdown GamesFundamenta Informaticae, 2005, 66 (3), pp.277-298
Article dans une revue
hal-00109940v2
|
||
Cut-elimination and Interpolation for the Omega-LogicArchive for Mathematical Logic, 1988, 27, pp.161-175
Article dans une revue
hal-00003514v1
|
|||
|
|
On Decidability Properties of Local Sentences2005, pp.75-92
Communication dans un congrès
hal-00117501v1
|