1.One-Dimensional Guarded Fragments

作　　者：Emanuel Kieronski

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

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

文章 ID：238891966

文章详细全文下载
2.Finite Satisfiability of Unary Negation Fragment with Transitivity

作　　者：Daniel Danielski ;Emanuel Kieronski

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

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

文章 ID：238891967

文章详细全文下载
3.Extending Two-Variable Logic on Trees

作　　者：Bartosz Bednarczyk ;Witold Charatonik ;Emanuel Kieronski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:11:1-11:20.doi:10.4230/LIPIcs.CSL.2017.11

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

文章 ID：200735077

文章详细全文下载
4.One-Dimensional Logic over Trees

作　　者：Emanuel Kieronski ;Antti Kuusisto

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

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

文章 ID：205510116

文章详细全文下载
5.Modal Logics Definable by Universal Three-Variable Formulas

作　　者：Emanuel Kieronski ;Jakub Michaliszyn ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:264-275.doi:10.4230/LIPIcs.FSTTCS.2011.264

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

文章 ID：186845884

文章详细全文下载
6.Decidability Issues for Two-Variable Logics with Several Linear Orders

作　　者：Emanuel Kieronski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:337-351.doi:10.4230/LIPIcs.CSL.2011.337

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

文章 ID：186845993

文章详细全文下载
7.Two-Variable Universal Logic with Transitive Closure

作　　者：Emanuel Kieronski ;Jakub Michaliszyn

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:396-410.doi:10.4230/LIPIcs.CSL.2012.396

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

文章 ID：186846173

文章详细全文下载
8.One-Dimensional Logic over Words

作　　者：Emanuel Kieronski

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

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

文章 ID：186847954

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Emanuel Kieronski")))) )) ) )"

	Emanuel Kieronski	8篇
	Jakub Michaliszyn	2篇
	Antti Kuusisto	1篇
	Bartosz Bednarczyk	1篇
	Daniel Danielski	1篇

	2019	2篇
	2017	2篇
	2016	1篇
	2012	1篇
	2011	2篇

	Jan Otop	1篇
	Witold Charatonik	1篇