scientific article
From MaRDI portal
Publication:3332228
zbMath0543.68009MaRDI QIDQ3332228
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Problems of inclusion and equivalence for program schemata and formal languages ⋮ Algorithmic questions for real functions
This page was built for publication: