文件大小：0.49 MB 14页
一维防护碎片
作者
伊曼纽尔·基隆斯基 
-
部分： 体积： 第44届计算机科学数学基础国际研讨会（MFCS 2019）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学数学基础（MFCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2019-08-20
文件
文件标识符
作者详细信息
致谢
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→逻辑
关键词
保护碎片 双变量逻辑 可满足性 有限模型特性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
H.Andréka、J.van Benthem和I.Németi。 模态语言和谓词逻辑的有界片段。 《哲学逻辑杂志》，27:217-2741998年。 
-
V.Bárány、G.Gottlob和M.Otto。 查询守护碎片。 《计算机科学中的逻辑方法》，10（2），2014。
-
V.Bárány、B.ten Cate和L.Segoufin。 保护性否定。 J.ACM，62（3）：222015年。
-
P.Bourhis、M.Morak和A.Pieris，使交叉积和保护本体语言兼容。 在国际人工智能联合会议上，IJCAI 2017，第880-8862017页。
-
A.K.Chandra、D.Kozen和L.J.Stockmeyer。 改变。 美国医学杂志，28（1）：114-1331981年。 网址： https://doi.org/10.1145/322234.32243 . -
W.D.Goldfarb。 具有恒等式的哥德尔类的不可解性。 J.塞姆。 逻辑，49:1237-12521984。
-
E.希腊。 论卫兵的约束力。 J.塞姆。 日志。， 64（4）：1719-17421999年。
-
E.Grädel、P.Kolaitis和M.Y.Vardi。 关于二元一阶逻辑的决策问题。 符号逻辑公报，3（1）：53-691997。
-
L.Hella和A.Kuusisto。 一阶逻辑的一维片段。 《模态逻辑进展学报》，2014年，第274-293页，2014年。
-
A.S.Kahr、E.F.Moore和H.Wang。 Entscheidungsproblem被简化为“案件”。 程序。 美国国家科学院。 科学。 美国，48:365-3771962年。
-
Y.Kazakov。 保护碎片扩展的基于饱和度的决策程序。 德国萨尔布吕肯萨尔兰德大学博士论文，2006年。
-
E.基隆斯基。 关于具有等价关系或传递关系的保护片段的结果。 在《计算机科学逻辑》中，LNCS第3634卷，第309-324页。 斯普林格，2005年。
-
E.Kieronski和A.Kuusisto。 具有等式的统一一维片段的复杂性和表达性。 在MFCS中。 《会议记录》，第一部分，第365-376页，2014年。
-
莫蒂默先生。 关于具有两个变量的语言。 《数学与数学发展杂志》，1975年21:135-140。
-
塞巴斯蒂安·鲁道夫和曼塔斯·西姆库斯。 一阶逻辑的三重片断。 在LPAR-22中。 第22届编程、人工智能和推理逻辑国际会议，《计算EPiC系列》第57卷，第604-619页，2018年。
-
B.ten Cate和L.Segoufin。 一元否定。 Comp.中的逻辑方法。 科学，9（3），2013年。
-
J.van Benthem。 动态钻头和工件。 ILLC研究报告，1997年。