scientific article
From MaRDI portal
Publication:3947100
zbMath0486.68012MaRDI QIDQ3947100
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
deterministic top-down translationsdeterministic transducersOI-hierarchy of string languagessemantic preserving translationsemantics of an imperative programming languagetop-down transducers for infinite trees
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
