Accéder directement au contenu

Chloé Rispal

15
Documents

Publications

Image document

Recognizability for automata

Didier Caucal , Chloé Rispal
DLT 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 Orderings

Nicolas Bedon , Alexis Bès , Olivier Carton , Chloé Rispal
3rd 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 posets

Nicolas Bedon , Chloé Rispal
32nd 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 orderings

Nicolas Bedon , Chloé Rispal
9th International Conference on Developments in Language Theory (DLT 2005), 2005, Italy. pp.134-145
Communication dans un congrès hal-00619873v1
Image document

Complementation of Rational Sets on Scattered Linear Orderings

Chloé Rispal , Olivier Carton
8th International Conference on Developments in Language Theory (DLT 2004), 2004, France. pp.381-392
Communication dans un congrès hal-00620119v1
Image document

Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank

Olivier Carton , Chloé Rispal
6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. pp.292-301
Communication dans un congrès hal-00619905v1
Image document

The synchronized graphs trace the context-sensitive languages

Chloé Rispal
INFINITY 2002, 4th International Workshop on Verification of Infinite-State Systems, Aug 2003, Brno, Czech Republic. 10pp
Communication dans un congrès hal-00620118v1
Image document

Boolean algebras by length recognizability

Didier Caucal , Chloé Rispal
Lecture 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
Image document

Automates sur les ordres linéaires : Complémentation

Chloé Rispal
Théorie et langage formel [cs.FL]. Université de Marne la Vallée, 2004. Français. ⟨NNT : ⟩
Thèse tel-00720658v1