Dominique Perrin
6
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 6
- 1
|
|
A Survey on Difference Hierarchies of Regular LanguagesLogical Methods in Computer Science, 2018, 14, pp.1 - 23. ⟨10.23638/LMCS-14(1:24)2018⟩
Article dans une revue
hal-02104436v1
|
|
|
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
|
Infinite Words: Automata, Semigroups, Logic and GamesElsevier, pp.538, 2004
Ouvrages
hal-00112831v1
|
|
Infinite Words, Automata, Semigroups, Logic and GamesElsevier, 141, 550pp., 2004
Ouvrages
hal-00619830v1
|
|
|
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
|
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
|