> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Parametrized regular infinite games and higher-order pushdown strategies Beteiligte: Hänsch, Paul [Verfasser:in]; Slaats, Michaela [Verfasser:in]; Thomas, Wolfgang [Verfasser:in] Erschienen: Aachen: Mainz, 2009 Erschienen in: Aachener Informatik-Berichte ; 2009,18 Technical report / Department of Computer Science, RWTH Aachen Umfang: Online-Ressource (27 S., 287 KB); graph. Darst Sprache: Englisch Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Text in engl Systemvoraussetzungen: Acrobat reader Zugangsstatus: Freier Zugang