Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - MaRDI portal

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

From MaRDI portal

Publication:5191508

Jump to:navigation, search

DOI10.1007/b94618zbMath1205.68194OpenAlexW2246750081MaRDI QIDQ5191508

Alexis-Julien Bouquet, Igor Walukiewicz, Olivier Serre

Publication date: 6 August 2009

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

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Church synthesis on register automata over linearly ordered data domains ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Games with winning conditions of high Borel complexity

This page was built for publication: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

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