- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783798328877
3798328870
- Maße
-
21 cm
- Umfang
-
X, 274 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
Technische Universität Berlin, Dissertation, 2017
- Erschienen in
-
Foundations of computing ; 9
- Schlagwort
-
My-Kalkül
Paritätsspiel
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Universitätsverlag der TU Berlin
- (wann)
-
2017
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:17 MESZ
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
- Dittmann, Christoph
- Technische Universität Berlin. Universitätsbibliothek
- Universitätsverlag der TU Berlin
Entstanden
- 2017
Ähnliche Objekte (12)
Parity games, separations, and the modal μ-calculus
Parity game reductions
A resolution calculus for modal logics
Improving parity games in practice
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Modal knowledge and game semirings
A modal logic of epistemic games
Knowledge and games in modal semirings
Knowledge and Games in Modal Semirings
Calculus of Consent: A Game-theoretic Perspective. Comment
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Parity games, separations, and the modal μ-calculus
Parity game reductions
A resolution calculus for modal logics
Improving parity games in practice
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Modal knowledge and game semirings
A modal logic of epistemic games
Knowledge and games in modal semirings
Knowledge and Games in Modal Semirings
Calculus of Consent: A Game-theoretic Perspective. Comment
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Parity games, separations, and the modal μ-calculus
Parity game reductions
A resolution calculus for modal logics
Improving parity games in practice
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Modal knowledge and game semirings
A modal logic of epistemic games
Knowledge and games in modal semirings
Knowledge and Games in Modal Semirings
Calculus of Consent: A Game-theoretic Perspective. Comment