1.On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond

作　　者：Paul C. Bell ;Igor Potapov ;Pavel Semukhin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.83

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892031

文章详细全文下载
2.On Reachability Problems for Low-Dimensional Matrix Semigroups

作　　者：Thomas Colcombet ;Jo{"e}l Ouaknine ;Pavel Semukhin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.44

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892179

文章详细全文下载
3.Membership Problem in GL(2, Z) Extended by Singular Matrices

作　　者：Igor Potapov ;Pavel Semukhin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:44:1-44:13.doi:10.4230/LIPIcs.MFCS.2017.44

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510092

文章详细全文下载
4.Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs

作　　者：Paul C. Bell ;Pavel Semukhin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:22:1-22:16.doi:10.4230/LIPIcs.CONCUR.2020.22

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822881

文章详细全文下载
5.Vector Reachability Problem in SL(2, Z)

作　　者：Igor Potapov ;Pavel Semukhin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:84:1-84:14.doi:10.4230/LIPIcs.MFCS.2016.84

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847911

文章详细全文下载

	Pavel Semukhin	5篇
	Igor Potapov	3篇
	Paul C. Bell	2篇
	James Worrell	1篇
	Jo{"e}l Ouaknine	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pavel Semukhin")))) )) ) )"

	2020	1篇
	2019	2篇
	2017	1篇
	2016	1篇