by Bell, Paul C., Semukhin, Pavel
Published in Logical methods in computer science (01.01.2023)

by Potapov, Igor, Semukhin, Pavel
Published in Journal of computer and system sciences (01.03.2019)

by Bell, Paul C., Potapov, Igor, Semukhin, Pavel
Published in Information and computation (01.12.2021)

by Samei, Rahim, Semukhin, Pavel, Yang, Boting, Zilles, Sandra
Published in Theoretical computer science (13.11.2014)

by Semukhin, Pavel, Stephan, Frank
Published in Annals of pure and applied logic (01.09.2013)

by Case, John, Jain, Sanjay, Shin Ong, Yuh, Semukhin, Pavel, Stephan, Frank
Published in Journal of computer and system sciences (01.06.2014)

by Nies, André, Semukhin, Pavel
Published in Annals of pure and applied logic (01.12.2009)

by Bell, Paul C, Semukhin, Pavel
Published in arXiv.org (20.12.2023)

by Jain, Sanjay, Luo, Qinglong, Semukhin, Pavel, Stephan, Frank
Published in Theoretical computer science (22.04.2011)

by JAIN, Sanjay, QINGLONG LUO, SEMUKHIN, Pavel, STEPHAN, Frank
Published in Theoretical computer science (2011)

by Case, John, Jain, Sanjay, Le, Trong Dao, Ong, Yuh Shin, Semukhin, Pavel, Stephan, Frank
Published in Information and computation (01.09.2012)

by Bell, Paul C, Niskanen, Reino, Potapov, Igor, Semukhin, Pavel
Year of Publication 11.07.2023

by Bell, Paul C, Semukhin, Pavel
Year of Publication 18.02.2020

by Kiefer, Stefan, Semukhin, Pavel, Widdershoven, Cas
Year of Publication 04.07.2021

by Diekert, Volker, Potapov, Igor, Semukhin, Pavel
Published in arXiv.org (14.05.2024)

by Diekert, Volker, Potapov, Igor, Semukhin, Pavel
Year of Publication 05.10.2019

by Potapov, Igor, Semukhin, Pavel
Year of Publication 08.04.2016

by Bell, Paul C, Potapov, Igor, Semukhin, Pavel
Year of Publication 26.02.2019

by Bell, Paul C, Niskanen, Reino, Potapov, Igor, Semukhin, Pavel
Published in arXiv.org (19.09.2024)

by Potapov, Igor, Semukhin, Pavel
Year of Publication 12.10.2015