Narrow search
Showing 1 - 6 of 6
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