Hochschulschrift
Boundedness problems in resource games, logics and automatic structures
- Alternative title
-
Beschränktheitsprobleme in Ressourcenspielen, -logiken und Ressourcen automatischer Strukturen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen, Dissertation, 2016
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2016
- Creator
- Contributor
- URN
-
urn:nbn:de:hbz:82-rwth-2016-037517
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:51 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Lang, Martin Ulrich
- Löding, Christof
- Colcombet, Thomas
- Grädel, Erich
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2016
Other Objects (12)
On games and logics over dynamically changing structures
Logic and games on automatic structures
Logics for linguistic structures
Narrative logics of digital games
Fixpoint logics on hierarchical structures
Counting logics and games with counters
Logic and games on automatic structures : playing with quantifiers and decompositions
Advice Automatic Structures and Uniformly Automatic Classes
Advice automatic structures and uniformly automatic classes
Models of strategic reasoning : logics, games, and communities
Automatic presentations of infinite structures
Weighted automata and weighted logics over tree-like structures
On games and logics over dynamically changing structures
Logic and games on automatic structures
Logics for linguistic structures
Narrative logics of digital games
Fixpoint logics on hierarchical structures
Counting logics and games with counters
Logic and games on automatic structures : playing with quantifiers and decompositions
Advice Automatic Structures and Uniformly Automatic Classes
Advice automatic structures and uniformly automatic classes
Models of strategic reasoning : logics, games, and communities
Automatic presentations of infinite structures
Weighted automata and weighted logics over tree-like structures
On games and logics over dynamically changing structures
Logic and games on automatic structures
Logics for linguistic structures
Narrative logics of digital games
Fixpoint logics on hierarchical structures
Counting logics and games with counters
Logic and games on automatic structures : playing with quantifiers and decompositions
Advice Automatic Structures and Uniformly Automatic Classes
Advice automatic structures and uniformly automatic classes
Models of strategic reasoning : logics, games, and communities
Automatic presentations of infinite structures