Accéder directement au contenu

Didier Caucal

2
Documents

Présentation

Publications

chloe-rispal
"chloe-rispal"
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
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