Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond.



Bell, Paul C, Potapov, Igor and Semukhin, Pavel
(2019) Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond. .

Access the full-text of this item by clicking on the Open Access link.
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 21 Aug 2019 14:59
Last Modified: 03 Mar 2021 09:55
Open Access URL: http://drops.dagstuhl.de/opus/volltexte/2019/11027...
URI: https://livrepository.liverpool.ac.uk/id/eprint/3052303