König, Harald 1968-
VIAF ID: 107877323 ( Personal )
Permalink: http://viaf.org/viaf/107877323
Preferred Forms
- 100 1 _ ‡a König, Harald ‡d 1968-
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Categorical frameworks for the transformation of object-oriented systems models and data | |
Consistency checking of interrelated models long version | |
Functor semantics for refactoring-induced data migration | |
Konforme Konjugation in Baker-Gebieten | |
On a universality property of graph transformations | |
Polymorphic single-pushout graph transformation | |
Trouble with wrong adjoints | |
Van Kampen colimits in presheaf topoi |