Iterationsalgebren https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/iterationsalgebren/
None
Peter Höfner, Han-Hing Dang Beteiligte WissenschaftlerInnen / Kooperationen: Prof
None
Peter Höfner, Han-Hing Dang Beteiligte WissenschaftlerInnen / Kooperationen: Prof
Chi Tai Dang Kathrin Janowski Andreas Seiderer Jan-Oliver Wülfing Inhalt In dieser
Chi Tai Dang Simon Flutura Dr.
Chi Tai Dang Simon Flutura Dr.
Chi Tai Dang Simon Flutura Dr.
None
Kießling 2014 Algebraic Calculi for Separation Logic Han-Hing Dang Dissertation
None
Chi Tai Dang Simon Flutura Dr.
None
Chi Tai Dang Simon Flutura Dr.
Chi Tai Dang Simon Flutura Dr.
None
Kießling 2014 Algebraic Calculi for Separation Logic Han-Hing Dang Dissertation