1.Satisfiability vs. Finite Satisfiability in Elementary Modal Logics

作　　者：Jakub Michaliszyn ;Jan Otop ;Piotr Witkowski

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:141-154.doi:10.4204/EPTCS.96.11

出版社：Open Publishing Association

文章 ID：83120593

文章详细全文下载
2.REFLECTANCE TRANSFORMATION IMAGING.ABOUT A PHOTOGRAPHIC METHOD FOR DOCUMENTATION AND ANALISIS OF HISTORICAL ARTEFACTS

作　　者：Paweł Lech Polkowski ;Piotr Witkowski

出　　处：Muzealnictwo. 2018 ;59:54-62.doi:10.5604/01.3001.0012.0619

出版社：Index Copernicus International S.A.

文章 ID：253534494

文章详细全文下载
3.A Note on CÂ² Interpreted over Finite Data-Words

作　　者：Bartosz Bednarczyk ;Piotr Witkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;178:17:1-17:14.doi:10.4230/LIPIcs.TIME.2020.17

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

文章 ID：255822675

文章详细全文下载
4.Two-variable Logic with Counting and a Linear Order

作　　者：Witold Charatonik ;Piotr Witkowski

出　　处：Logical Methods in Computer Science. 2016 ;12(2):1.doi:10.2168/LMCS-12(2:8)2016

出版社：Technical University of Braunschweig

文章 ID：264692093

文章详细全文下载
5.Two-variable Logic with Counting and a Linear Order

作　　者：Witold Charatonik ;Piotr Witkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:631-647.doi:10.4230/LIPIcs.CSL.2015.631

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

文章 ID：186847074

文章详细全文下载

	计算技术、计算机技术	4篇
	社会科学总论	1篇

	德国	3篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Piotr Witkowski")))) )) ) )"

	Piotr Witkowski	5篇
	Witold Charatonik	2篇
	Bartosz Bednarczyk	1篇
	Jakub Michaliszyn	1篇
	Jan Otop	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇
	Muzealnictwo	1篇

	2020	1篇
	2018	1篇
	2016	1篇
	2015	1篇
	2012	1篇