Bottom-Up Tree Pushdown Automata and Rewrite Systems

• Authors:

• Jean-Luc Coquidé;Max Dauchet;Rémi Gilleron;Sándor Vágvölgyi

• Affiliations:

• -;-;-;-

• Venue:
• RTA '91 Proceedings of the 4th International Conference on Rewriting Techniques and Applications
• Year:
• 1991