Bottom-Up Tree Pushdown Automata: Classification and Connection with Rewrite Systems

Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi. Bottom-Up Tree Pushdown Automata: Classification and Connection with Rewrite Systems. Theoretical Computer Science, 127(1):69-98, 1994.

Abstract

Abstract is missing.