Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton

Akio Fujiyoshi, Ikuo Kawaharada. Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton. In Jacques Farré, Igor Litovsky, Sylvain Schmitz, editors, Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers. Volume 3845 of Lecture Notes in Computer Science, pages 129-140, Springer, 2005. [doi]

Abstract

Abstract is missing.