TY  - RPRT
TI  - One Unit Separates Polynomial Time from Undecidability in Term Coding
AU  - Søren Riis
PY  - 2026
UR  - https://arxiv.org/abs/2504.16265
ID  - 2504.16265
ER  -