- Sprache
-
Englisch
- Identifier
-
1201509378
- Thema
-
Time; Temporale Logik; Framework ; My-Kalkül
- Beteiligte Personen und Organisationen
-
Kernberger, Daniel
- DOI
-
10.17170/kobra-20191209834
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 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
- Monografie
Beteiligte
- Kernberger, Daniel
Ähnliche Objekte (12)
Algorithmische Eigenschaften von Branching-Time-Logiken
Differential dynamic logics - automated theorem proving for hybrid systems
The linear time - branching time spectrum
Subset Space Logics of Knowledge and Time
Action, time and space in description logics
Branching within branching in random environment
NExpTime-complete Description Logics with Concrete Domains
Symbolic verification of computational security for branching-time properties.
Branching space-time, modal logic and the counterfactual conditional
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
A Game for Linear-time–Branching-time Spectroscopy
New Foundations for Branching Space-Times
Algorithmische Eigenschaften von Branching-Time-Logiken
Differential dynamic logics - automated theorem proving for hybrid systems
The linear time - branching time spectrum
Subset Space Logics of Knowledge and Time
Action, time and space in description logics
Branching within branching in random environment
NExpTime-complete Description Logics with Concrete Domains
Symbolic verification of computational security for branching-time properties.
Branching space-time, modal logic and the counterfactual conditional
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
A Game for Linear-time–Branching-time Spectroscopy
New Foundations for Branching Space-Times
Algorithmische Eigenschaften von Branching-Time-Logiken
Differential dynamic logics - automated theorem proving for hybrid systems
The linear time - branching time spectrum
Subset Space Logics of Knowledge and Time
Action, time and space in description logics
Branching within branching in random environment
NExpTime-complete Description Logics with Concrete Domains
Symbolic verification of computational security for branching-time properties.
Branching space-time, modal logic and the counterfactual conditional
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
A Game for Linear-time–Branching-time Spectroscopy