文件大小：0.6 MB 20页
树上二元逻辑的扩展
作者
-
部分： 体积： 第26届EACSL计算机科学逻辑年会（CSL 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 发布日期：2017-08-16
文件
文件标识符
引用为 获取BibTex
摘要
关键词
双变量逻辑 树 可满足性 表现力 计数量词
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Bartosz Bednarczyk、Witold Charatonik和Emanuel Kieronski。 在树上扩展双变量逻辑。 CoRR，abs/1611.021122016年。 网址： http://arxiv.org/abs/1611.02112 。 -
萨古伊·本奈姆（Saguy Benaim）、迈克尔·贝内迪克特（Michael Benedikt）、维托尔德·查拉托尼克（Witold Charatonik）、伊曼纽尔·基隆斯基（Emanuel Kieron nski）、拉斯蒂斯拉夫·伦哈特（Rastislav Lenhardt）、菲利普·马佐维耶。 有限树上二元逻辑的复杂性。 ACM计算逻辑汇刊，17（4）：32:1-32:38，2017。 ICALP 2013中的扩展摘要。 
-
M.Bojanczyk、C.David、A.Muscholl、T.Schwentick和L.Segoufin。 数据字上的双变量逻辑。 ACM计算逻辑汇刊，12（4）：272011。
-
M.Bojanczyk、A.Muscholl、T.Schwentick和L.Segoufin。 数据树上的双变量逻辑和XML推理。 ACM期刊，56（3），2009年。
-
维托尔德·查拉托尼克（Witold Charatonik）、伊曼纽尔·基伦斯基（Emanuel Kieronski）和菲利普·马佐维耶基（Filip Mazowiecki）。 树上一阶逻辑的二元片段的可满足性。 CoRR，abs/1304.72042013年。
-
维托尔德·查拉托尼克（Witold Charatonik）、伊曼纽尔·基隆斯基（Emanuel Kieron nski）和菲利普·马佐维耶基（Filip Mazowiecki）。 具有确定性传递闭包的弱逻辑的可判定性。 在第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议上，CSL-LICS’14，奥地利维也纳，2014年7月14日至18日，第29页，2014年。 网址： http://dx.doi.org/10.1145/2603088.2603134 。 -
维托尔德·查拉托尼克（Witold Charatonik）和彼得·维特科夫斯基（Piotr Witkowski）。 具有计数和线性顺序的双变量逻辑。 《计算机科学中的逻辑方法》，12（2），2016年。 网址： http://dx.doi.org/10.2168/LMCS-12 (2:8)2016 。 -
维托尔德·查拉托尼克（Witold Charatonik）和彼得·维特科夫斯基（Piotr Witkowski）。 带有计数和树的双变量逻辑。 ACM计算逻辑汇刊，17（4）：31:1-31:272017。 LICS 2013中的扩展摘要。
-
菲利普·德格罗特（Philippe de Groote）、布鲁诺·纪尧姆（Bruno Guillaume）和西尔万·萨尔瓦蒂（Sylvain Salvati）。 向量加法树自动机。 2004年7月14日至17日，第19届IEEE计算机科学逻辑研讨会（LICS 2004），芬兰图尔库，会议记录，第64-73页。 IEEE计算机协会，2004年。 网址： http://dx.doi.org/10.109/LICS.2004.1319601 。 -
库沙·埃特萨米（Kousha Etessami）、莫舍·瓦尔迪（Moshe Y.Vardi）和托马斯·威尔克（Thomas Wilke）。 具有两个变量的一阶逻辑和一元时态逻辑。 信息计算。， 179(2):279-295, 2002. 网址： http://dx.doi.org/10.1006/inco.2001.2953 。 -
迭戈·菲盖拉。 有限线性阶上具有两个后继关系的二元逻辑的可满足性。 《计算研究数据库》，abs/1204.24952012年。
-
E.Grädel、P.Kolaitis和M.Vardi。 关于二元一阶逻辑的决策问题。 符号逻辑公报，3（1）：53-691997。
-
E.Grädel、M.Otto和E.Rosen。 带计数的双变量逻辑是可判定的。 在LICS 1997中，《诉讼》，第306-317页，1997年。
-
伊曼纽尔·基隆斯基。 具有等价或传递关系的保护片段的结果。 CSL编辑C.-H.Luke Ong，《计算机科学讲义》第3634卷，第309-324页。 斯普林格，2005年。 网址： http://dx.doi.org/10.1007/11538363_22 。 -
伊曼纽尔·基隆斯基。 具有多个线性阶的二元逻辑的可判定性问题。 在Marc Bezem，编辑，CSL，LIPIcs第12卷，第337-351页。 Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2011年。 网址： http://dx.doi.org/10.4230/LIPIcs.CSL.2011.337 。 -
伊曼纽尔·基隆斯基、贾库布·米查利辛、伊恩·普拉特·哈特曼和利迪娅·坦德拉。 具有等价闭包的二变量一阶逻辑。 在LICS中，第431-440页。 IEEE计算机学会，2012年。 网址： http://dx.doi.org/10.1109/LICS.2012.53 。 -
伊曼纽尔·基隆斯基和马丁·奥托。 具有两个变量的一阶逻辑的小子结构和可判定性问题。 在LICS中，第448-457页。 IEEE计算机学会，2005年。 网址： http://dx.doi.org/10.109/LICS.2005.49 。 -
伊曼纽尔·基隆斯基和利迪娅·坦德拉。 具有等价关系的二元一阶逻辑的有限可满足性。 在LICS中，第123-132页。 IEEE计算机学会，2009年。 网址： http://dx.doi.org/10.109/LICS.2009.39 。 -
阿马尔德夫·曼努埃尔。 两个变量和两个后继变量。 在Petr Hlinený和Antonín Kucera，编辑，MFCS，《计算机科学讲义》第6281卷，第513-524页。 施普林格，2010年。 网址： http://dx.doi.org/10.1007/978-3642-15155-2_45 。 -
马尔滕·马克思和马尔滕·德·里杰克。 导航XPath的语义特征。 关于XML数据库和信息检索的第一届Twente数据管理研讨会（TDM 2004），第73-79页，2004年。
-
马丁·奥托。 有序域上的二变量一阶逻辑。 J.塞姆。 日志。， 66(2):685-702, 2001.
-
Leszek Pacholski、Wieslaw Szwast和Lidia Tendra。 带计数的二元逻辑的复杂性。 在LICS中，第318-327页，1997年。 网址： http://dx.doi.org/10.1109/LICS.1997.614958 。 -
I.普拉特·哈特曼。 带有计数量词的双变量片段的复杂性。 《逻辑、语言与信息杂志》，14（3）：369-3952005。
-
I.普拉特·哈特曼。 具有计数和等价性的逻辑。 在CSL-LICS 2014，《议事录》，第76页，2014年。
-
托马斯·施温蒂克和托马斯·泽姆。 具有二阶关系的双变量逻辑-（扩展抽象）。 CSL编辑Anuj Dawar和Helmut Veith，《计算机科学讲义》第6247卷，第499-513页。 施普林格，2010年。 网址： http://dx.doi.org/10.1007/978-3642-15205-4_38 。 -
达娜·斯科特。 两个变量中句子有效性的判定方法。 符号逻辑杂志，27:4771962。
-
托马斯·泽姆和弗雷德里克·哈瓦特。 二元逻辑的序方差是可判定的。 2016年，美国纽约州纽约市，LICS’16，第807-816页，第31届ACM/IEEE计算机科学逻辑研讨会论文集。 ACM公司。 网址： http://dx.doi.org/10.1145/2933575.2933594 。