scientific article

zbMath0462.68008MaRDI QIDQ3912007

Bruno Courcelle

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

grammarstransducersdecision algorithmsprogram schemes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Related Items

Attribute grammars and recursive program schemes. I. II, Synchronizable deterministic pushdown automata and the decidability of their equivalence, Fundamental properties of infinite trees