TY - JOUR TI - Publications of K. Culik JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1994 SP - 425 EP - 430 VL - 28 IS - 3-4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1994__28_3-4_425_0/ LA - en ID - ITA_1994__28_3-4_425_0 ER -