Nonlinear Tree Pattern Pushdown Automata.

Jan Travnicek, Jan Janousek, Borivoj Melichar

Browse the full FedCSIS paper archive.