1.Entropy Bounds for Conjunctive Queries with Functional Dependencies

作　　者：Tomasz Gogacz ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:15:1-15:17.doi:10.4230/LIPIcs.ICDT.2017.15

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

文章 ID：191698403

文章详细全文下载

2.First-Order Interpretations of Bounded Expansion Classes

作　　者：Jakub Gajarsk{\'y ;Stephan Kreutzer ;Jaroslav Nesetril 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:126:1-126:14.doi:10.4230/LIPIcs.ICALP.2018.126

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

文章 ID：220014917

文章详细

3.Deterministic Automata and Extensions of Weak MSO

作　　者：Mikolaj Bojanczyk ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:73-84.doi:10.4230/LIPIcs.FSTTCS.2009.2308

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

文章 ID：186845591

文章详细全文下载

4.Automata based verification over linearly ordered data domains

作　　者：Luc Segoufin ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:81-92.doi:10.4230/LIPIcs.STACS.2011.81

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

文章 ID：186845805

文章详细全文下载

5.Weak MSO+U over infinite trees

作　　者：Mikolaj Bojanczyk ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:648-660.doi:10.4230/LIPIcs.STACS.2012.648

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

文章 ID：186846068

文章详细全文下载

6.Imperative Programming in Sets with Atoms

作　　者：Mikolaj Bojanczyk ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:4-15.doi:10.4230/LIPIcs.FSTTCS.2012.4

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

文章 ID：186846185

文章详细全文下载

7.The MSO+U Theory of (N,<) Is Undecidable

作　　者：Mikolaj Bojanczyk ;Pawel Parys ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:21:1-21:8.doi:10.4230/LIPIcs.STACS.2016.21

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

文章 ID：186847234

文章详细全文下载

8.Cost Functions Definable by Min/Max Automata

作　　者：Thomas Colcombet ;Denis Kuperberg ;Amaldev Manuel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:29:1-29:13.doi:10.4230/LIPIcs.STACS.2016.29

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

文章 ID：186847242

文章详细全文下载

9.Models of Lambda-Calculus and the Weak MSO Logic

作　　者：Pawel Parys ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:11:1-11:12.doi:10.4230/LIPIcs.CSL.2016.11

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

文章 ID：186847928

文章详细全文下载

10.Non-Homogenizable Classes of Finite Structures

作　　者：Albert Atserias ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:16:1-16:16.doi:10.4230/LIPIcs.CSL.2016.16

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

文章 ID：186847933

文章详细全文下载

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

	2019	1篇
	2018	1篇
	2017	1篇
	2016	5篇
	2012	2篇

	Szymon Torunczyk	12篇
	Mikolaj Bojanczyk	4篇
	Michal Pilipczuk	2篇
	Pawel Parys	2篇
	Sebastian Siebertz	2篇

	Albert Atserias	1篇
	Amaldev Manuel	1篇
	Bartek Klin	1篇
	Denis Kuperberg	1篇
	Grzegorz Fabianski	1篇
	Jakub Gajarsk{\'y	1篇
	Jaroslav Nesetril	1篇
	Joanna Ochremiak	1篇
	Luc Segoufin	1篇
	Patrice Ossona de Mendez	1篇
	Slawomir Lasota	1篇
	Stephan Kreutzer	1篇
	Thomas Colcombet	1篇
	Tomasz Gogacz	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Szymon Torunczyk")))) )) ) )"