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
|
||
|
|
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 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
|
||
|
|
Duality and equational theory of regular languagesICALP 2008, Jul 2008, Reykjavik, Iceland. pp.246-257
Communication dans un congrès
hal-00340803v1
|
||
|
|
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
|
|||
|
|
Some operations and transductions that preserve rationality6th GI Conference, 1983, Berlin, Germany. pp.277-288
Communication dans un congrès
hal-00340780v1
|
||
|
|
Positive varieties and infinite words1998, pp.76-87
Communication dans un congrès
hal-00113768v1
|
||
|
|
Hiérarchies de concaténationRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 1984, 18, pp.23-46
Article dans une revue
hal-00340781v1
|
||
|
|
Languages recognized by finite supersoluble groups2007
Pré-publication, Document de travail
hal-00143945v1
|
||
|
|
Algorithmique et Programmation. IntroductionJ. Akoka et I. Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, pp.913-918, 2006
Chapitre d'ouvrage
hal-00143939v1
|
||
|
|
Monoids of upper triangular boolean matricesSemigroups. Structure and Universal AIgebraic Problems, 1981, Szeged, Hungary. pp.259-272
Communication dans un congrès
hal-00870684v1
|
||
Linearizing some recursive logic programsIEEE Transactions on Knowledge and Data Engineering, 1995, 7, pp.137-149
Article dans une revue
hal-00020735v1
|
|||
|
|
Theme and variations on the concatenation product4th International Conference on Algebraic Informatics (CAI 2011), Jun 2011, Linz, Austria. pp.44-64
Communication dans un congrès
hal-01101851v1
|
||
|
|
How to Prove that a Language Is Regular or Star-Free?Proceedings LATA 2020, Lecture Notes in Computer Science 12038 (2020), pp.68-88, 2020, ⟨10.1007/978-3-030-40608-0_5⟩
Chapitre d'ouvrage
hal-02949627v1
|
||
|
|
The dot-depth hierarchy, 45 years laterStavros Konstantinidis; Nelma Moreira; Rogério Reis; Jeffrey Shallit. The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski, World Scientific, 2017, The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski, 978-981-3148-19-2. ⟨10.1142/9789813148208_0008⟩
Chapitre d'ouvrage
hal-01614357v1
|
||
|
|
On the expressive power of temporal logic for finite wordsJournal of Computer and System Sciences, 1993, 46, pp.271-294. ⟨10.1016/0022-0000(93)90005-H⟩
Article dans une revue
hal-00020069v1
|
||
|
|
Automata and semigroups recognizing infinite wordsJ. Flum, E. Grädel and T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.585-596, 2007
Chapitre d'ouvrage
hal-00340797v1
|
||
Mathématiques et Informatique: Problèmes résolusMcGraw Hill France, 257pp., 1991
Ouvrages
hal-00619790v1
|
|||
Infinite Words, Automata, Semigroups, Logic and GamesElsevier, 141, 550pp., 2004
Ouvrages
hal-00619830v1
|
|||
|
|
Operations preserving recognizable languagesFCT'03, 2003, Malmo, Sweden. pp.343-354, ⟨10.1007/978-3-540-45077-1_32⟩
Communication dans un congrès
hal-00112814v1
|
||
|
|
Words guaranteeing minimal imageInternational Journal of Foundations of Computer Science, 2004, 15, pp.259-276
Article dans une revue
hal-00112827v1
|
||
|
|
On two combinatorial problems arising from automata theoryCombinatorial mathematics (Marseille-Luminy, 1981), 1983, Marseille-Luminy, pp.535-548
Communication dans un congrès
hal-00143937v1
|
||
|
|
Syntactic semigroupsG. Rozenberg and A. Salomaa. Handbook of language theory, Vol. I, Springer Verlag, pp.679-746, 1997
Chapitre d'ouvrage
hal-00143946v1
|
||
|
|
Sur la longueur des mots de rang donné d'un automate finiComptes rendus de l'Académie des sciences. Série I, Mathématique, 1977, 284, pp.1233-1235
Article dans une revue
hal-00017720v1
|
||
|
|
On reversible automataProceedings of the first LATIN conference, 1992, Saõ-Paulo, Brazil. pp.401-416
Communication dans un congrès
hal-00019977v1
|
||
|
|
Some results on the generalized star-height problemInformation and Computation, 1992, 101, pp.219-250
Article dans une revue
hal-00019978v1
|
||
Infinite Words: Automata, Semigroups, Logic and GamesElsevier, pp.538, 2004
Ouvrages
hal-00112831v1
|
|||
|
|
Ordered categories and ordered semigroupsCommunications in Algebra, 2002, 30, pp.5651-5675
Article dans une revue
hal-00112616v1
|