Filter your results
- 107
- 32
- 67
- 30
- 29
- 7
- 3
- 1
- 1
- 1
- 104
- 87
- 5
- 4
- 1
- 1
- 1
- 4
- 5
- 5
- 2
- 2
- 5
- 3
- 15
- 5
- 8
- 5
- 3
- 8
- 6
- 8
- 15
- 8
- 4
- 8
- 1
- 6
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 120
- 19
- 121
- 13
- 8
- 7
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 43
- 11
- 9
- 7
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
- 1
- 1
- 1
139 Results
|
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⟩
Journal articles
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
Conference papers
hal-03190657v1
|
||
|
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
Conference papers
hal-00114314v2
|
||
|
Classification des injections virtuelles2014
Preprints, Working Papers, ...
hal-01077555v2
|
||
|
On the Length of the Wadge Hierarchy of Omega Context Free LanguagesJournal of Automata Languages and Combinatorics, 2005, 10 (4), pp.439-464
Journal articles
hal-00122154v2
|
||
StretchingsThe Journal of Symbolic Logic, 1996, 61 (2), pp.563-585
Journal articles
hal-00103669v1
|
|||
|
Closure Properties of Locally Finite Omega LanguagesTheoretical Computer Science, 2004, 322 (1), pp.69-84
Journal articles
hal-00104203v2
|
||
|
The Complexity of Infinite Computations In Models of Set TheoryLogical Methods in Computer Science, 2009, 5 (4:4), pp.1-19
Journal articles
hal-00422538v3
|
||
|
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⟩
Journal articles
hal-00614658v1
|
||
Functors and ordinal notations III : dilators and gardensHerbrand Symposium, 1982, Marseille, France. pp.333-364
Conference papers
hal-00003549v1
|
|||
|
On the Topological Complexity of Infinitary Rational RelationsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2003, 37 (2), pp.105-113
Journal articles
hal-00122252v2
|
||
|
Chang's conjecture may fail at supercompact cardinals2006
Preprints, Working Papers, ...
hal-00023748v1
|
||
|
The Busy Beaver Competition: a historical survey2022
Preprints, Working Papers, ...
hal-00396880v7
|
||
|
Groupes simples connexes minimaux algébriques de type impairJournal of Algebra, 2007, 317 (2), pp.877-923. ⟨10.1016/j.jalgebra.2007.02.009⟩
Journal articles
hal-00756748v1
|
||
|
Borel Ranks and Wadge Degrees of Omega Context Free Languages2005, pp.129-138
Conference papers
hal-00117508v1
|
||
|
Une conjecture plus maniable et qui l'entraîne de la conjecture de Hadwiger1998
Preprints, Working Papers, ...
hal-01075831v1
|
||
|
Some characterizations of gamma and beta-acyclicity of hypergraphs2008
Preprints, Working Papers, ...
hal-00360321v1
|
||
|
Théorie des modèles des corps munis d'une dérivation de HasseMathé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 dilatateursArchive for Mathematical Logic, 1985, 24, pp.167-191
Journal articles
hal-00003501v1
|
|||
|
On Decidability Properties of Local Sentences2005, pp.75-92
Conference papers
hal-00117501v1
|
||
Cut-elimination and Interpolation for the Omega-LogicArchive for Mathematical Logic, 1988, 27, pp.161-175
Journal articles
hal-00003514v1
|
|||
Functors and ordinal notations I : a functorial construction of the Veblen hierarchyThe Journal of Symbolic Logic, 1984, 49, pp.713-729
Journal articles
hal-00003495v1
|
|||
Functors and ordinal notations II : a functorial construction of the Bachmann hierarchyJournal of Symboloic Logic, 1984, 49, pp.1079-1114
Journal articles
hal-00003496v1
|
|||
|
On Omega Context Free Languages which are Borel Sets of Infinite RankTheoretical Computer Science, 2003, 299 (1-3), pp.327-346
Journal articles
hal-00104196v2
|
||
|
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
Conference papers
hal-00139152v2
|
||
|
On Winning Conditions of High Borel Complexity in Pushdown GamesFundamenta Informaticae, 2005, 66 (3), pp.277-298
Journal articles
hal-00109940v2
|
||
|
On Decision Problems for Timed AutomataBulletin- European Association for Theoretical Computer Science, 2005, 87, pp.185-190
Journal articles
hal-00111148v1
|
||
|
théorèmes de la cible et émergence naturelle des ultra ltres1999
Preprints, Working Papers, ...
hal-00974318v1
|
||
|
Decision Problems for Recognizable Languages of Infinite Pictures28 th Weak Arithmetic Days, Journées sur les Arithmétiques Faibles, Jun 2009, Fontainebleau, France. pp.127-151
Conference papers
hal-00612486v1
|
||
|
On Some Sets of Dictionaries Whose omega-Powers Have a Given ComplexityMathematical Logic Quarterly, 2010, 56 (5), pp.452-460. ⟨10.1002/malq.200810154⟩
Journal articles
hal-00432736v1
|