TY - JOUR AU - Torre, Salvatore La AU - Napoli, Margherita TI - Automata-based representations for infinite graphs JO - RAIRO. Theoretical Informatics and Applications PY - 2001 SP - 311 EP - 330 VL - 35 IS - 4 PB - EDP-Sciences UR - https://www.numdam.org/item/ITA_2001__35_4_311_0/ LA - en ID - ITA_2001__35_4_311_0 ER -