Jan Travnicek, Jan Janousek, Borivoj Melichar. Nonlinear Tree Pattern Pushdown Automata. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Federated Conference on Computer Science and Information Systems - FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings. pages 871-878, 2011. [doi]
Abstract is missing.