%0 Journal Article %A Janoušek, Jan %A Melichar, Bořivoj %A Poliak, Martin %T Tree compression pushdown automaton %J Kybernetika %D 2012 %P 429-452 %V 48 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/KYB_2012__48_3_a5/ %G en %F KYB_2012__48_3_a5