State-Strategies for Games in $F_{\sigma\delta} \bigcap G_{\delta\sigma}

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of symbolic logic 1983-12, Vol.48 (4), p.1171-1198
1. Verfasser:	Buchi, J. Richard
Format:	Artikel
Sprache:	eng
Schlagworte:	Automata Complementation Decidability Determinacy Games Logical theorems Mathematical theorems Recursion Universality
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!