- Sprache
-
Englisch
- Umfang
-
Online-Ressource
- Anmerkungen
-
Kassel, Universität Kassel, Dissertation, 2019
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Schlagwort
-
Time
Temporale Logik
Framework
My-Kalkül
- Urheber
-
Kernberger, Daniel
- Ereignis
-
Veröffentlichung
- (wo)
-
Kassel
- (wer)
-
Universitätsbibliothek Kassel
- (wann)
-
2019
- DOI
-
10.17170/kobra-20191209834
- URN
-
urn:nbn:de:101:1-2019121211190233705487
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 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.
Beteiligte
- Kernberger, Daniel
- Universitätsbibliothek Kassel
Entstanden
- 2019
Ähnliche Objekte (12)
The linear time - branching time spectrum
A Game for Linear-time–Branching-time Spectroscopy
Branching Space-Times : Theory and Applications
Algorithmische Eigenschaften von Branching-Time-Logiken
New Foundations for Branching Space-Times
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988
A linear-time branching-time perspective on interface automata
A linear-time branching-time perspective on interface automata
A hybrid approach for modeling uncertainty in terminological logics
Differential dynamic logics - automated theorem proving for hybrid systems
Subset Space Logics of Knowledge and Time
Action, time and space in description logics
The linear time - branching time spectrum
A Game for Linear-time–Branching-time Spectroscopy
Branching Space-Times : Theory and Applications
Algorithmische Eigenschaften von Branching-Time-Logiken
New Foundations for Branching Space-Times
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988
A linear-time branching-time perspective on interface automata
A linear-time branching-time perspective on interface automata
A hybrid approach for modeling uncertainty in terminological logics
Differential dynamic logics - automated theorem proving for hybrid systems
Subset Space Logics of Knowledge and Time
Action, time and space in description logics
The linear time - branching time spectrum
A Game for Linear-time–Branching-time Spectroscopy
Branching Space-Times : Theory and Applications
Algorithmische Eigenschaften von Branching-Time-Logiken
New Foundations for Branching Space-Times
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988
A linear-time branching-time perspective on interface automata
A linear-time branching-time perspective on interface automata
A hybrid approach for modeling uncertainty in terminological logics
Differential dynamic logics - automated theorem proving for hybrid systems
Subset Space Logics of Knowledge and Time