Filtrer vos résultats
- 5
- 4
- 6
- 2
- 1
- 9
- 1
- 3
- 4
- 2
- 7
- 2
- 6
- 2
- 2
- 1
- 9
- 3
- 2
- 2
- 2
- 1
- 1
- 1
9 résultats
|
|
triés par
|
Quantitative algebraic characterizations on truly infinite wordsEcole Jeunes Chercheuses et Chercheurs en Informatique Mathématique, Maison de la Modélisation, de la Simulation et des Interactions [MSI], Jun 2022, Nice, France
Communication dans un congrès
hal-03709708v1
|
|||
|
Universal Algorithms for Parity Games and Nested FixpointsLecture Notes in Computer Science, In press
Article dans une revue
hal-03762990v1
|
||
|
First-order separation over countable ordinalsFossacs 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99253-8⟩
Communication dans un congrès
hal-03815121v1
|
||
|
A deterministic behaviour for realistic price dynamicsPhysica A: Statistical Mechanics and its Applications, 2019, 525, pp.33-49. ⟨10.1016/j.physa.2019.03.042⟩
Article dans une revue
hal-02143024v1
|
||
Un comportement déterministe pour une dynamique des prix réalisteVingt-septièmes journées sur les Systèmes multi-agents (JFSMA'19), Jul 2019, Toulouse, France. pp.161-170
Communication dans un congrès
hal-02174575v1
|
|||
|
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries2023
Pré-publication, Document de travail
hal-04311290v1
|
||
|
Separating Automatic RelationsInternational Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2023, Bordeaux, France
Communication dans un congrès
hal-04099907v1
|
||
|
First-order separation over countable ordinalsFoSSaCS 2022, Apr 2022, Munich, Germany. pp.264-284, ⟨10.1007/978-3-030-99253-8_14⟩
Communication dans un congrès
hal-03758110v1
|
||
|
Approximation and Semantic Tree-width of Conjunctive Regular Path QueriesInternational Conference on Database Theory (ICDT), Mar 2023, Ioannina, Greece. pp.15:1--15:19, ⟨10.4230/LIPIcs.ICDT.2023.15⟩
Communication dans un congrès
hal-03883042v1
|