3 citations · 3 across the 2 of their papers we have counts for
2 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…