TY - RPRT TI - Solving difference equations in sequences: Universality and Undecidability AU - Gleb Pogudin AU - Thomas Scanlon AU - Michael Wibmer PY - 2020 UR - https://arxiv.org/abs/1909.03239 ID - 1909.03239 ER -