Automata, Languages and Programming

DOI10.1007/11523468zbMath1085.68091WikidataQ56656999 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

91A80: Applications of game theory

68Q45: Formal languages and automata

68N15: Theory of programming languages

68Q60: Specification and verification (program logics, model checking, etc.)

03B25: Decidability of theories and sets of sentences

Related Items

Decidability and syntactic control of interference