Deterministic Tree Pushdown Automata and Monadic Tree Rewriting Systems

Kai Salomaa. Deterministic Tree Pushdown Automata and Monadic Tree Rewriting Systems. J. Comput. Syst. Sci., 37(3):367-394, 1988.

Abstract

Abstract is missing.