Chloé Rispal
15
Documents
Publications
|
Recognizability for automataDLT 2018, Sep 2018, Tokyo, Japan. pp.206-218, ⟨10.1007/978-3-319-98654-8_17⟩
Communication dans un congrès
hal-01824290v1
|
Logic and Rational Languages of Words Indexed by Linear Orderings3rd International Computer Science Symposium in Russia (CSR'08), Jun 2008, Moscow, Russia, Russia. pp.76-85
Communication dans un congrès
hal-00620148v1
|
|
Series-parallel languages on scattered and countable posets32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), Aug 2007, Czech Republic. pp.477-488
Communication dans un congrès
hal-00619874v1
|
|
Schützenberger and Eilenberg theorems for words on linear orderings9th International Conference on Developments in Language Theory (DLT 2005), 2005, Italy. pp.134-145
Communication dans un congrès
hal-00619873v1
|
|
|
Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. pp.292-301
Communication dans un congrès
hal-00619905v1
|
|
Complementation of Rational Sets on Scattered Linear Orderings8th International Conference on Developments in Language Theory (DLT 2004), 2004, France. pp.381-392
Communication dans un congrès
hal-00620119v1
|
|
The synchronized graphs trace the context-sensitive languagesINFINITY 2002, 4th International Workshop on Verification of Infinite-State Systems, Aug 2003, Brno, Czech Republic. 10pp
Communication dans un congrès
hal-00620118v1
|
|
Boolean algebras by length recognizabilityLecture Notes in Computer Science, 11200, Springer, pp.169-185, 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?, ⟨10.1007/978-3-030-22348-9_11⟩
Chapitre d'ouvrage
hal-02012291v1
|
|
Automates sur les ordres linéaires : ComplémentationThéorie et langage formel [cs.FL]. Université de Marne la Vallée, 2004. Français. ⟨NNT : ⟩
Thèse
tel-00720658v1
|