Reachability Problems in Nondeterministic Polynomial Maps on the Integers

Sang-Ki Ko, Reino Niskanen, Igor Potapov. Reachability Problems in Nondeterministic Polynomial Maps on the Integers. In Mizuho Hoshi, Shinnosuke Seki, editors, Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. Volume 11088 of Lecture Notes in Computer Science, pages 465-477, Springer, 2018. [doi]

Abstract

Abstract is missing.