×

找到11个文档（结果1-11）

最新的 引文 相关性
丹尼尔·丹尼尔斯基;伊曼纽尔·基伦斯基

具有及物性的一元否定片断的有限可满足性。 （英语） Zbl 07561661号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第17条，第15页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Danielski}和\textit{E.Kieron滑雪}，LIPIcs——莱布尼茨国际程序。通知。138，第17条，第15页（2019年；Zbl 07561661）
全文： DOI程序 arXiv公司
伊曼纽尔·基伦斯基

一维防护碎片。 （英语） Zbl 07561660号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第16条，第14页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛E.Kieronski｝，LIPIcs——莱布尼茨国际会议记录。通知。138，第16条，第14页（2019年；Zbl 07561660）
全文： DOI程序 arXiv公司
丹尼尔·丹尼尔斯基;伊曼纽尔·基伦斯基

具有等价关系的一元否定片断具有有限模型性质。 （英语） Zbl 1452.03027号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。285-294 (2018).
MSC公司：03B20型 03B70号 03立方厘米13 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Danielski}和\textit{E.Kieron nchi}，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。285--294（2018；Zbl 1452.03027）
全文： DOI程序 arXiv公司
伊曼纽尔·基伦斯基;利迪亚·坦德拉

具有传递保护和相关变量的二元保护碎片的有限可满足性。 （英语） Zbl 1407.03009号

ACM事务处理。计算。日志。 19，第2号，第8条，第34页（2018年）.
MSC公司：03B25号 03立方厘米13 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Kieron ski}和\textit{L.Tendera}，ACM Trans。计算。日志。19，第2号，第8条，第34页（2018；Zbl 1407.03009）
全文： DOI程序 arXiv公司
伊曼纽尔·基伦斯基;安蒂·库西斯托

树上的一维逻辑。 （英语） Zbl 1441.68075号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第64条，第13页（2017年）。
MSC公司：2017年第68季度 03B20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛E.Kieroński｝和\textit｛A.Kuusisto｝，LIPIcs——莱布尼茨国际期刊。通知。83，第64条，第13页（2017年；Zbl 1441.68075）
全文： DOI程序
巴托斯·贝德纳西克;威托尔德·沙拉托尼克;伊曼纽尔·基伦斯基

在树上扩展双变量逻辑。 （英语） Zbl 1434.03082号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第11条，第20页（2017年）。
MSC公司：03B70号 03立方厘米13 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bednarczyk}等人，LIPIcs——莱布尼茨国际程序。通知。82，第11条，第20页（2017；Zbl 1434.03082）
全文： DOI程序 arXiv公司
伊曼纽尔·基伦斯基

单词的一维逻辑。 （英语） Zbl 1370.03046号

Regnier，Laurent（编辑）等人，2016年8月29日至9月1日，法国马赛CSL’16，第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-022-4）。LIPIcs–莱布尼茨国际信息学学报62，第38条，第15页。(2016).
MSC公司：03B70号 03B20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Kieronski}，LIPIcs——莱布尼茨国际程序。通知。62，第38条，第15页（2016；Zbl 1370.03046）
全文： DOI程序
威托尔德·沙拉托尼克;伊曼纽尔·基伦斯基;菲利普·马佐维耶基

具有确定性传递闭包的弱逻辑的可判定性。 （英语） Zbl 1394.03015号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第29号论文，第10页（2014年）。
MSC公司：03B25号 03B20型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛W.Charatonik｝等人，在：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，以及2014年第29届ACM/IEEE计算机科学逻辑年度研讨会，LICS 2014，奥地利维也纳，2014年7月14日至18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第29号论文，第10页（2014；Zbl 1394.03015）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段