TY - JOUR AU - Janoušek, Jan AU - Melichar, Bořivoj AU - Poliak, Martin TI - Tree compression pushdown automaton JO - Kybernetika PY - 2012 SP - 429 EP - 452 VL - 48 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/KYB_2012__48_3_a5/ LA - en ID - KYB_2012__48_3_a5 ER -