1.Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

作　　者：Petr Jancar

出　　处：Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:10)2013

出版社：Technical University of Braunschweig

文章 ID：264691897

文章详细全文下载
2.Bisimilarity of Probabilistic Pushdown Automata

作　　者：Vojtech Forejt ;Petr Jancar ;Stefan Kiefer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:448-460.doi:10.4230/LIPIcs.FSTTCS.2012.448

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

文章 ID：186846223

文章详细全文下载
3.Highly Undecidable Questions for Process Algebras

作　　者：Petr Jancar ;Jirí Srba

出　　处：BRICS Report Series. 2004 ;11(8).

出版社：Aarhus University

文章 ID：186804880

文章详细全文下载
4.Undecidability Results for Bisimilarity on Prefix Rewrite Systems

作　　者：Petr Jancar ;Jirí Srba

出　　处：BRICS Report Series. 2006 ;13(7).

出版社：Aarhus University

文章 ID：186804958

文章详细全文下载
5.Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence

作　　者：Petr Jancar

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:52:1-52:13.doi:10.4230/LIPIcs.MFCS.2016.52

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

文章 ID：186847879

文章详细全文下载

	Petr Jancar	5篇
	Jirí Srba	2篇
	James Worrell	1篇
	Stefan Kiefer	1篇
	Vojtech Forejt	1篇

	德国	3篇
	丹麦	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Petr Jancar")))) )) ) )"

	BRICS Report Series	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	1篇

	2016	1篇
	2013	1篇
	2012	1篇
	2006	1篇
	2004	1篇