Kreowski, H.-J.; Lye, A.
A Case Study on the Graph-transformational Modeling and Analysis of Puzzles
In: Gaducci, F.; Kehrer, T. (eds.): Proc. 14th International Conference on Graph Transformation (ICGT 2021). 2021, pp. 203-220
(Workgroup:
Theoretical Computer Science)
