
Corona-Virus: Unsere Lesesäle sind wieder geöffnet. Bitte vermeiden Sie lange Bibliotheksaufenthalte.
► Mehr Informationen zu Öffnungszeiten und zum Bibliotheksbesuch finden Sie in unseren FAQ
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum (Englisch)
- Neue Suche nach: Dorsch, Ulrich
- Neue Suche nach: Milius, Stefan
- Neue Suche nach: Schröder, Lutz
2018
- Preprint / Elektronische Ressource
-
Titel:Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
-
Autor / Urheber:
-
Verlag:arXiv
-
Erscheinungsjahr:2018
-
Medientyp:Preprint
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Klassifikation:
-
Lizenzbestimmungen:
-
Datenquelle:
-
Exportieren: