TY - JOUR AU - Héam, Pierre-Cyrille TI - A lower bound for reversible automata JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2000 SP - 331 EP - 341 VL - 34 IS - 5 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_2000__34_5_331_0/ LA - en ID - ITA_2000__34_5_331_0 ER -