Filtrer vos résultats
- 5
- 2
- 5
- 1
- 1
- 7
- 1
- 1
- 2
- 1
- 2
- 7
- 6
- 1
- 1
- 1
- 7
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
|
triés par
|
|
|
On Reversible TransducersICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. ⟨10.4230/LIPIcs.ICALP.2017.113⟩
Communication dans un congrès
hal-02926244v1
|
||
|
|
Definability and synthesis of transductionsOther [cs.OH]. Université de Bordeaux; Université libre de Bruxelles (1970-..), 2018. English. ⟨NNT : 2018BORD0185⟩
Thèse
tel-01960958v1
|
||
|
|
On Canonical Models for Rational Functions over Infinite Words38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.30⟩
Communication dans un congrès
hal-01889429v1
|
||
|
|
Logical and Algebraic Characterizations of Rational TransductionsLogical Methods in Computer Science, 2019, 15 (4), ⟨10.23638/LMCS-15(4:16)2019⟩
Article dans une revue
hal-02503054v1
|
||
|
|
Aperiodicity of rational functions is PSpace-complete36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Dec 2016, Chennai, India
Communication dans un congrès
hal-01410188v1
|
||
|
|
First-order definability of rational transductions: An algebraic approach31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. pp.387--396, ⟨10.1145/2933575.2934520⟩
Communication dans un congrès
hal-01308509v1
|
||
|
|
A Robust Class of Linear Recurrence SequencesCSL, 2020, Barcelona, Spain
Communication dans un congrès
hal-02395766v1
|