Defining Winning Strategies in Fixed-Point Logic
Computer Society (Hrsg). 30th Annual {ACM/IEEE} Symposium on Logic in Computer Science. Kyoto, Japan. 2015 S. 366 - 377
Erscheinungsjahr: 2015
Publikationstyp: Buchbeitrag
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
