> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Boundedness problems in resource games, logics and automatic structures Weitere Titel: Beschränktheitsprobleme in Ressourcenspielen, -logiken und Ressourcen automatischer Strukturen Beteiligte: Lang, Martin Ulrich [Verfasser]; Löding, Christof [Akademischer Betreuer]; Colcombet, Thomas [Akademischer Betreuer]; Grädel, Erich [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2016 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, RWTH Aachen, 2016 Anmerkungen: Zugangsstatus: Freier Zugang