@PHDTHESIS{pinau2021, url = "http://www.theses.fr/2021LYSEN024", title = "From automata to cyclic proofs : equivalence algorithms and descriptive complexity", author = "Pinault, Laureline", year = "2021", note = "Thèse de doctorat dirigée par Pous, Damien Informatique Lyon 2021", note = "2021LYSEN024", url = "http://www.theses.fr/2021LYSEN024/document", }