Automata, Languages and Programming

DOI10.1007/11523468zbMath1085.68091OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716838

No author found.

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11523468

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Decidability and syntactic control of interference

This page was built for publication: Automata, Languages and Programming