首页期刊浏览 2025年03月01日星期六

登录注册

全文

	有全文链接	3篇
	有本地全文	1篇

出版年度

	2021	1篇
	2018	1篇
	2005	2篇

作者

	Jančar, Petr	4篇
	Sawa, Zdeněk	2篇
	Forejt, Vojtěch	1篇
	Kiefer, Stefan	1篇
	Worrell, James	1篇

Šíma, Jiří

1篇

文章类型

Research Article

2篇

来源期刊

	COMPUTING AND INFORMATICS	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

4篇

语种

英文

4篇

国别/地区

	德国	2篇
	斯洛伐克	2篇

检索条件:"( ( 高级检索(( ((AU:(("Jančar, Petr")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Behavioural Equivalences on Finite-State Systems are PTIME-hard

作　　者：Sawa, Zdeněk ;Jančar, Petr

出　　处：COMPUTING AND INFORMATICS. 2005 ;24(5):513-528.

出版社：COMPUTING AND INFORMATICS

文章 ID：100609574

文章详细全文下载
2.Behavioural Equivalences on Finite-State Systems are PTIME-hard

作　　者：Sawa, Zdeněk ;Jančar, Petr

出　　处：COMPUTING AND INFORMATICS. 2005 ;24(5):513-528.

出版社：COMPUTING AND INFORMATICS

文章 ID：203575393

文章详细
3.Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

作　　者：Worrell, James ;Kiefer, Stefan ;Jančar, Petr 等

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:13)2018

出版社：Technical University of Braunschweig

文章 ID：1022768406

文章详细
4.The Simplest Non-Regular Deterministic Context-Free Language

作　　者：Jančar, Petr ;Šíma, Jiří

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.63

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

文章 ID：1037088657

文章详细

1

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有