Theoretical Computer Science

Publications by Sabine Kuske in 2022 (get BIBTeX file):

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst: A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. In Proceedings 13th International Workshop on Graph Computation Models (GCM 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS). 2022. to appear.


	Research Group Theoretical Computer Science
Mail to webmaster	Publications by Sabine Kuske in 2022 (get BIBTeX file): Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst: A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. In Proceedings 13th International Workshop on Graph Computation Models (GCM 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS). 2022. to appear.	Mail to webmaster
		©