Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum (English)
- New search for: Dorsch, Ulrich
- New search for: Milius, Stefan
- New search for: Schröder, Lutz
- New search for: Wagner, Michael
2019
- Miscellaneous / Electronic Resource
-
Title:Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum
-
Author / Creator:
-
Editors:
-
Publisher:
-
Publication date:2019
-
Size:16 pages
-
DOI:
-
Type of media:Miscellaneous
-
Type of material:Electronic Resource
-
Language:English
- New search for: 000
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 000 -
Source:
-
Export:
-
Share:
-
Citation:
