TY  - RPRT
TI  - Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
AU  - Yoshiki Nakamura
PY  - 2025
DO  - 10.46298/lmcs-21(4:27)2025
UR  - https://arxiv.org/abs/2408.08236
ID  - 2408.08236
ER  -