TY  - THES
DP  - http://www.theses.fr/2021LYSEN024
TI  - From automata to cyclic proofs : equivalence algorithms and descriptive complexity
AU  - Pinault, Laureline
A3  - Pous, Damien
PY  - 2021
N1  - Thèse de doctorat Informatique Lyon 2021
N1  - 2021LYSEN024
UR  - http://www.theses.fr/2021LYSEN024/document
ER  -