TY  - RPRT
TI  - Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
AU  - Yoshiki Nakamura
PY  - 2025
UR  - https://arxiv.org/abs/2504.20415
ID  - 2504.20415
ER  -