scientific article
From MaRDI portal
zbMath0602.68076MaRDI QIDQ3738591
Heiko Vogler, Joost Engelfriet
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
macro tree transducerstop-down tree transducerssyntax-directed translationHigher type tree transducers
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
High level tree transducers and iterated pushdown tree transducers, The OI-hierarchy is closed under control, Basic tree transducers, Look-ahead on pushdowns
