TY  - RPRT
TI  - Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More
AU  - Julien Cassaigne
AU  - Vesa Halava
AU  - Tero Harju
AU  - Francois Nicolas
PY  - 2014
UR  - https://arxiv.org/abs/1404.0644
ID  - 1404.0644
ER  -