- Weitere Titel
-
Zähllogiken und Spiele mit Zählern
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2015
- Klassifikation
-
Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
-
Grädel, Erich
Bojańczyk, Mikołaj
Thomas, Wolfgang
- URN
-
urn:nbn:de:hbz:82-rwth-2015-023225
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Leßenich, Simon Robert
- Grädel, Erich
- Bojańczyk, Mikołaj
- Thomas, Wolfgang
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2015
Ähnliche Objekte (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