TY - JOUR AU - Pinzani, R. AU - Sprugnoli, R. TI - The separability of formal languages JO - RAIRO. Informatique théorique PY - 1982 SP - 13 EP - 31 VL - 16 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1982__16_1_13_0/ LA - en ID - ITA_1982__16_1_13_0 ER -