Year of publication
Type of media
Subject
Type of material
Language
TIB reading rooms collection
Did you mean: person:(morsch, lutz)
1–20 of 25 hits
Sort by:
Sort by:
-
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum
Free accessDataCite | 2019| -
Erstellung einer Dokumentationsrichtlinie für Berechnungen nach der DIN V 18599 sowie Anwendung dieser Richtlinie auf Beispielprojekte - unter Berücksichtigung der Prüfbarkeit von Energieausweisen nach der EU-Gebäuderichtlinie : [Endbericht] ; [mit Mitteln der Forschungsinitiative Zukunft Bau des Bundesinstitutes für Bau- Stadt- und Raumforschung gefördert] ; [Akz.: II 3-F20-12-1-024/SWD-10.8.18.7-12.31]
TIBKAT | 2014| -
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
Free accessArXiv | 2018| -
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Springer Verlag | 2018| -
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
British Library Conference Proceedings | 2018| -
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Free accessArXiv | 2018|