Narrow search
Showing 1 - 10 of 21
Cover Image
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Loewe, Michael; Wolter, Uwe - 1992
Persistent link: https://www.econbiz.de/10004130494
Cover Image
Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts
Ehrig, Hartmut; Korff, Martin; Loewe, Michael - 1990
Persistent link: https://www.econbiz.de/10004090530
Cover Image
On the relationship between algebraic module specifications and program modules
Loewe, Michael (contributor) - 1990
Persistent link: https://www.econbiz.de/10004090531
Cover Image
Algebraic development of a syntax directed editor
Claßen, Ingo; Loewe, Michael - 1990
Persistent link: https://www.econbiz.de/10004094677
Cover Image
Algebraic approach to graph transformation based on single pushout derivations with partial morphisms
Loewe, Michael - 1990
Persistent link: https://www.econbiz.de/10004096264
Cover Image
Implementing algebraic specifications by graph transformation systems
Loewe, Michael - 1989
Persistent link: https://www.econbiz.de/10004071838
Cover Image
Refactoring information systems : association folding and unfolding
Löwe, Michael - 2011
Persistent link: https://www.econbiz.de/10009154355
Cover Image
Algebraic graph transformations with inheritance
Löwe, Michael (contributor) - 2013
Persistent link: https://www.econbiz.de/10009763730
Cover Image
Polymorphic single-pushout graph transformation
Löwe, Michael; König, Harald; Schulz, Christoph - 2013
Persistent link: https://www.econbiz.de/10010229033
Cover Image
A unifying framework for algebraic graph transformation
Löwe, Michael - 2012
Persistent link: https://www.econbiz.de/10009621282