4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.DM2023
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
In this paper, we investigate the relationship between two elementary operations on derivations in the framework of graph transformation based on adhesive categories: moving a deri…
cs.CC2022★ 3 cited
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye +1
The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynom…
cs.DC2020★ 4 cited
Graph Surfing in Reaction Systems from a Categorial Perspective
Hans-Jörg Kreowski, Aaron Lye
Graph-based reaction systems were recently introduced as a generalization of the intensely studied set-based reaction systems. They deal with simple edge-labeled directed graphs, a…