Filtrer vos résultats
- 93
- 14
- 53
- 35
- 13
- 3
- 3
- 98
- 52
- 25
- 1
- 2
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 9
- 3
- 5
- 4
- 3
- 2
- 1
- 1
- 3
- 3
- 3
- 2
- 1
- 4
- 5
- 6
- 2
- 1
- 2
- 1
- 4
- 2
- 96
- 11
- 87
- 14
- 12
- 12
- 7
- 5
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 107
- 12
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 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
107 résultats
|
Sur un cas particulier de la conjecture de Cerný5th ICALP, Jul 1978, Berlin, Allemagne. pp.345-352
Communication dans un congrès
hal-00340771v1
|
||
|
An explicit formula for the intersection of two polynomials of regular languagesDevelopments in Language Theory, - 17th International Conference, DLT 2013, Jun 2013, Champs sur Marne, France. pp.31-45
Communication dans un congrès
hal-01247099v1
|
||
|
Duality and equational theory of regular languagesICALP 2008, Jul 2008, Reykjavik, Iceland. pp.246-257
Communication dans un congrès
hal-00340803v1
|
||
|
The expressive power of existential first order sentences of Büchi's sequential calculusDiscrete Mathematics, 2005, 291, pp.155-174
Article dans une revue
hal-00112833v1
|
||
|
A conjecture on the Hall topology for the free groupBulletin of the London Mathematical Society, 1991, 23, pp.356-362
Article dans une revue
hal-00019880v1
|
||
Polynomial closure of group languages and open sets of the Hall topology1994, pp.424--435
Communication dans un congrès
hal-00020074v1
|
|||
|
A Topological Approach to RecognitionICALP 2010, Jul 2010, Bordeaux, France. pp.151 - 162, ⟨10.1007/978-3-642-14162-1_13⟩
Communication dans un congrès
hal-01101846v1
|
||
|
Dual Space of a Lattice as the Completion of a Pervin SpacePeter Höfner; Damien Pous; Georg Struth. Relational and Algebraic Methods in Computer Science, 10226, Springer, pp.24-40, 2017, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-57418-9_2⟩
Chapitre d'ouvrage
hal-02104104v1
|
||
|
Linearizing some recursive logic programsIEEE Transactions on Knowledge and Data Engineering, 1995, 7, pp.137-149
Article dans une revue
hal-00068750v1
|
||
|
Varieties of Cost Functions33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, Feb 2016, Orléans, France. pp.1-30, ⟨10.4230/LIPIcs.STACS.2016.30⟩
Communication dans un congrès
hal-01614389v1
|
||
|
Sur le monoïde de L* lorsque L est un langage finiTheoretical Computer Science, 1978, 7, pp.211-215
Article dans une revue
hal-00018556v1
|
||
Topologies for the free monoidJournal of Algebra, 1991, 137, pp.297-337
Article dans une revue
hal-00019879v1
|
|||
|
Profinite Methods in Automata Theory26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.31-50
Communication dans un congrès
inria-00359677v1
|
||
|
Ordered monoids and J-trivial monoidsJ.-C. Birget, S. Margolis, J. Meakin and M. Sapir. Algorithmic problems in Groups and Semigroups (Lincoln, NE, 1998), Birkhäusern, Boston, MA, USA, pp.121-137, 2000, Trends in Mathematics
Chapitre d'ouvrage
hal-00112620v1
|
||
|
Some results on C-varietiesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2005, 39, pp.239-262
Article dans une revue
hal-00112835v1
|
||
|
Varieties generated by certain models of reversible finite automata2006, pp.83-93
Communication dans un congrès
hal-00112855v1
|
||
|
Uniformities on free semigroupsInternational Journal of Algebra and Computation, 1999, 9, pp.431-453
Article dans une revue
hal-00113716v1
|
||
|
Bridges for concatenation hierarchies1998, pp.431-442
Communication dans un congrès
hal-00113726v1
|
||
|
A Mahler's theorem for functions from words to integersSTACS 2008, Feb 2008, Bordeaux, France. pp.585-596
Communication dans un congrès
hal-00255823v1
|
||
|
Regular languages and partial commutationsInformation and Computation, 2013, 230, pp.76-96. ⟨10.1016/j.ic.2013.07.003⟩
Article dans une revue
hal-01247172v1
|
||
|
Newton series, coinductivelyICTAC 2015, Oct 2015, Cali, Colombia. pp.91-109
Communication dans un congrès
hal-01248122v1
|
||
Les automates finis?. Le Courrier du C.N.R.S., la recherche en informatique, C.N.R.S., pp.48-51, 1993
Chapitre d'ouvrage
hal-00620850v1
|
|||
|
A Mahler's Theorem for Word Functions46th ICALP (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.125⟩
Communication dans un congrès
hal-02422662v1
|
||
|
INEQUALITIES FOR ONE-STEP PRODUCTSDLT 2018, Sep 2018, Tokyo, Japan
Communication dans un congrès
hal-01816900v1
|
||
|
Automates réversibles: combinatoire, algèbre et topologie2006
Pré-publication, Document de travail
hal-00143942v1
|
||
|
A Mahler's theorem for functions from words to integers25th International Symposium on Theoretical Aspects of Computer Science (STACS 2008), 2008, Bordeaux, France. pp.585-596
Communication dans un congrès
hal-00340800v1
|
||
Topologie p-adique sur les motsJournal de Théorie des Nombres de Bordeaux, 1993, 5, pp.263-281
Article dans une revue
hal-00020071v1
|
|||
|
Actions, Wreath Products of C-varieties and Concatenation ProductTheoretical Computer Science, 2006, 356, pp.73-89
Article dans une revue
hal-00112843v1
|
||
|
Open problems on regular languages: an historical perspectiveProceedings of the Conference on Semigroups and Languages, 2006, Portugal
Communication dans un congrès
hal-00112856v1
|
||
|
On fixed points of the lower set operatorInternational Journal of Algebra and Computation, 2015, Internat. J. Algebra Comput. 25 (2015), 259-292, 25, pp.259-292. ⟨10.1142/S021819671540010X⟩
Article dans une revue
hal-01247705v1
|