4 citations · 11 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
Transformation of Turing Machines into Context-Dependent Fusion Grammars
Aaron Lye
Context-dependent fusion grammars were recently introduced as devices for the generation of hypergraph languages. In this paper, we show that this new type of hypergraph grammars,…