 | Up a level |
Bell, Paul C, Potapov, Igor and Semukhin, Pavel
(2019)
Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond.
In: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019-8-26 - 2019-8-30, Aachen, Germany.
Bell, Paul C and Potapov, Igor
(2009)
The Identity Correspondence Problem and its Applications.
World Scientific, 21.
6-.
Livesey, Joseph and Wojtczak, Dominik 
ORCID: 0000-0001-5560-0546
(2021)
Minimal Number of Calls in Propositional Protocols.
.
Bell, Paul C, Niskanen, Reino, Potapov, Igor and Semukhin, Pavel
(2023)
On the Identity and Group Problems for Complex Heisenberg Matrices.
CoRR, abs/23.
Bell, Paul C, Potapov, Igor and Semukhin, Pavel
(2019)
On the Mortality Problem: from multiplicative matrix equations to linear
recurrence sequences and beyond.
[Internet Publication]
Bell, Paul C, Potapov, Igor and Semukhin, Pavel
(2021)
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond.
Information and Computation, 281.
p. 104736.
Bell, Paul C, Niskanen, Reino, Potapov, Igor and Semukhin, Pavel
(2023)
On the Identity and Group Problems for Complex Heisenberg Matrices.
.
Bell, Paul C and Potapov, Igor
(2019)
Towards Uniform Online Spherical Tessellations.
In: 15th Conference on Computability in Europe, CiE 2019, 2019-7-15 - 2019-7-19, Durham, UK.
Bell, Paul C and Potapov, Igor
(2022)
Towards Uniform Online Spherical Tessellations.
.
Bell, Paul C and Potapov, Igor
(2022)
Towards Uniform Online Spherical Tessellations.
Discret. Comput. Geom., 67.
pp. 1124-1146.