TY  - RPRT
TI  - Introducing Quantification into a Hierarchical Graph Rewriting Language
AU  - Haruto Mishina
AU  - Kazunori Ueda
PY  - 2024
DO  - 10.1007/978-3-031-71294-4_13
UR  - https://arxiv.org/abs/2409.11015
ID  - 2409.11015
ER  -