- Alternative title
-
Zähllogiken und Spiele mit Zählern
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Dissertation, 2015
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2015
- Creator
- Contributor
-
Grädel, Erich
Bojańczyk, Mikołaj
Thomas, Wolfgang
- URN
-
urn:nbn:de:hbz:82-rwth-2015-023225
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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
- Leßenich, Simon Robert
- Grädel, Erich
- Bojańczyk, Mikołaj
- Thomas, Wolfgang
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2015
Other Objects (12)
On the Complexity and Expressiveness of Description Logics with Counting
Counting and enumerating in first-order team logics
Bounded variable logics and counting : a study in finite models
Narrative logics of digital games
On games and logics over dynamically changing structures
Models of strategic reasoning : logics, games, and communities
Quantum mean-field games with the observations of counting type
Boundedness problems in resource games, logics and automatic structures
Automata logics, and infinite games : a guide to current research
On logics with coimplication
Logics with Multiteam Semantics
Description Logics with Aggregates and Concrete Domains
On the Complexity and Expressiveness of Description Logics with Counting
Counting and enumerating in first-order team logics
Bounded variable logics and counting : a study in finite models
Narrative logics of digital games
On games and logics over dynamically changing structures
Models of strategic reasoning : logics, games, and communities
Quantum mean-field games with the observations of counting type
Boundedness problems in resource games, logics and automatic structures
Automata logics, and infinite games : a guide to current research
On logics with coimplication
Logics with Multiteam Semantics
Description Logics with Aggregates and Concrete Domains
On the Complexity and Expressiveness of Description Logics with Counting
Counting and enumerating in first-order team logics
Bounded variable logics and counting : a study in finite models
Narrative logics of digital games
On games and logics over dynamically changing structures
Models of strategic reasoning : logics, games, and communities
Quantum mean-field games with the observations of counting type
Boundedness problems in resource games, logics and automatic structures
Automata logics, and infinite games : a guide to current research
On logics with coimplication
Logics with Multiteam Semantics