Mortality of iterated piecewise affine functions over the integers: Decidability and complexity (2013)

by A M Ben-Amram
Venue:In Proc. Intern. Symp. on Theoret. Aspects of Comp. Sci.(STACS), volume 20 of LIPIcs. Schloss Dagstuhl – Leibniz-Zentrum für Informatik