scientific article

From MaRDI portal

Revision as of 20:59, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3912007

Jump to:navigation, search

zbMath0462.68008MaRDI QIDQ3912007

No author found.

Publication date: 1981

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

zbMATH Keywords

grammars transducers decision algorithms program 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 (3)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3912007&oldid=17571959"