zweidimensionales bewegtes Bild
Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
- Standort
-
Hannover TIB
- Umfang
-
29MB, 00:15:55:11 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Schlagwort
-
Mu-calculus
Bisimulation
Concurrency
Model checking
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Lang, Frederic
- DOI
-
10.5446/55025
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Lang, Frederic
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Finite Hilbert Systems for Weak Kleene Logics
Hybridity in Nonprofit Organizations: Organizational Perspectives on Combining Multiple Logics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
A case for hybrid BCIs: combining optical and electrical modalities improves accuracy
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Alethic Modalities, Temporal Modalities, and Representation
Combining DAML+OIL, XSLT and probabilistic logics for uncertain schema mappings in MIND
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries : Extended Version
Adequate subgroups II
"Triggersystem Logics"
Positive logics
Finite Hilbert Systems for Weak Kleene Logics
Hybridity in Nonprofit Organizations: Organizational Perspectives on Combining Multiple Logics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
A case for hybrid BCIs: combining optical and electrical modalities improves accuracy
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Alethic Modalities, Temporal Modalities, and Representation
Combining DAML+OIL, XSLT and probabilistic logics for uncertain schema mappings in MIND
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries : Extended Version
Adequate subgroups II
"Triggersystem Logics"
Positive logics
Finite Hilbert Systems for Weak Kleene Logics
Hybridity in Nonprofit Organizations: Organizational Perspectives on Combining Multiple Logics
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
A case for hybrid BCIs: combining optical and electrical modalities improves accuracy
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Alethic Modalities, Temporal Modalities, and Representation
Combining DAML+OIL, XSLT and probabilistic logics for uncertain schema mappings in MIND
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries : Extended Version
Adequate subgroups II
"Triggersystem Logics"