English Double pushout graph rewriting Cited by user Jochen Burghardt on 26 Feb 2021 In computer science, double pushout graph rewriting (or DPO graph rewriting) refers to a mathematical framework for graph rewriting.
English Hartmut Ehrig Cited by user Jochen Burghardt on 25 Feb 2021 Hartmut Ehrig (born December 6, 1944 in Angermünde; died March 17, 2016) was a German computer scientist and professor of theoretical computer science and formal…