TY  - RPRT
TI  - Pathographs and some (un)decidability results
AU  - Daniel Carter
AU  - Nicolas Trotignon
PY  - 2025
UR  - https://arxiv.org/abs/2505.19871
ID  - 2505.19871
ER  -