TY  - RPRT
TI  - Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
AU  - Ziad Ismaili Alaoui
AU  - Detlef Plump
PY  - 2026
DO  - 10.46298/lmcs-22(2:20)2026
UR  - https://arxiv.org/abs/2501.09144
ID  - 2501.09144
ER  -