TY - JOUR AU - Pinzani, R. AU - Sprugnoli, R. TI - The separability of formal languages JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1982 SP - 13 EP - 31 VL - 16 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1982__16_1_13_0/ LA - en ID - ITA_1982__16_1_13_0 ER -