文件大小：0.56 MB 14页
树共享公式的可判定性和复杂性
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
分数份额模型 资源会计 可数无原子布尔代数 单词方程式 树自动结构
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Parosh Aziz Abdulla、Yu Fang Chen、Lukás Holík、Richard Mayr和Tomás Vojnar。 当模拟遇到反链时。 2010年3月20日至28日，作为欧洲软件理论与实践联合会议的一部分，在《系统构建与分析的工具和算法》（Tools and Algorithms for the Construction and Analysis of Systems）第16届国际会议（TACAS 2010）上举行。 会议记录，第158-174页，2010年。 网址： http://dx.doi.org/10.1007/978-3642-12002-2_14 . -
H.Abdullab和J.P Pechuchet。 解单词方程式。 《符号计算杂志》，第499-5211989页。 
-
Andrew W.Appel、Robert Dockins、Aquina Hobor、Lennart Beringer、Josiah Dodds、Gordon Stewart、Sandrine Blazy和Xavier Leroy。 认证编译器的程序逻辑。 剑桥大学出版社，美国纽约州纽约市，2014年。
-
伦纳德·伯曼。 逻辑理论的复杂性。 理论计算机科学，11（1）：71-771980年5月。 网址： http://dx.doi.org/10.1016/0304-3975 (80)90037-7 . -
A.Blumensath。 自动结构。 博士论文，亚琛RWTH，1999年。
-
A.Blumensath和E.Grade。 无限结构的有限表示：自动机和解释。 《计算机系统理论》，第641-6742004页。
-
约翰·博伊兰德。 检查对部分权限的干扰。 《静态分析》，第10届国际研讨会，SAS 2003，美国加利福尼亚州圣地亚哥，2003年6月11日至13日，《论文集》，第55-72页，2003年。 网址： http://dx.doi.org/10.1007/3-540-44898-5_4 . -
J Richard Büchi和Steven Senger。 串联存在论的可定义性和该理论的不可判定扩展。 在J.Richard Büchi的作品集中，第671-683页。 斯普林格，1990年。
-
H.Comon、M.Dauchet、R.Gilleron、C.Löding、F.Jacquemard、D.Lugiez、S.Tison和M.Tommasi。 树自动机技术和应用。 可用时间： 网址：http://www.grappa.univ-ille3.fr/tata , 2007. 2007年10月12日发布。 -
Robert Dockins、Aquina Hobor和Andrew W.Appel。 重新审视分离代数和共享会计。 《编程语言与系统》，第七届亚洲研讨会，2009年APLAS，韩国首尔，2009年12月14-16日。 会议记录，第161-177页，2009年。 网址： http://dx.doi.org/10.1007/978-3642-10672-9_13 . -
Aquinas Hobor、Andrew W.Appel和Francesco Zappa Nardelli。 并发分离逻辑的Oracle语义。 第17届欧洲规划研讨会（ESOP 2008），第353-367页，2008年4月。 网址： http://www.comp.nus.edu.sg网站/ ~hobor/publications/concurrent_esop.pdf . -
阿奎那·霍伯和克里斯蒂安·吉尔吉纳。 并发分离逻辑中的障碍。 2011年3月26日至4月3日，作为欧洲软件理论与实践联合会议的一部分在德国萨尔布吕肯举行的2011年ESOP第20届欧洲程序设计研讨会《编程语言与系统》。 会议记录，第276-296页，2011年。 网址： http://dx.doi.org/10.1007/978-3-642-19718-5_15 . -
佐克森·贾法尔（Joxan Jaffar）。 最小和完整的单词统一。 J.ACM，37（1）：47-851990年。 网址： http://dx.doi.org/10.1145/78935.78938 . -
桑杰·贾恩（Sanjay Jain）、巴哈迪尔·库萨诺夫（Bakhadyr Khousainov）、弗兰克·斯蒂芬（Frank Stephan）、丹登（Dan Teng）和邹思源（Siyuan Zou）。 半自动结构。 计算机科学-理论与应用-第九届俄罗斯国际计算机科学研讨会，2014年CSR，俄罗斯莫斯科，2014年6月7日至11日。 会议记录，第204-217页，2014年。 网址： http://dx.doi.org/10.1007/978-3-319-06686-8_16 . -
Bakhadyr Khousainov和Mia Minnes。 三堂关于自动结构的讲座。 2007年逻辑学术讨论会（编辑：F.Delon、U.Kohlenbach、P.Maddy和F.Stephan），《逻辑讲义》，第35卷，符号逻辑协会，第132-176页，2007年。
-
安东尼·科斯切尔斯基（Antoni Koscielski）和莱泽克·帕霍尔斯基（Leszek Pacholski）。 马卡宁算法的复杂性。 J.ACM，43（4）：670-6841996年。 网址： http://dx.doi.org/10.1145/234533.234543 . -
德克斯特·科赞。 布尔代数的复杂性。 理论计算机科学10，第221-247页，1980年。
-
D.库斯克。 词序理论。 在理论信息学和应用40，第53-74页，2006年。
-
宣巴赫·勒（Xuan Bach Le）、克里斯蒂安·戈尔基纳（Cristian Gherghina）和阿奎那·霍伯（Aquina Hobor）。 复杂部分权限的决策程序。 《编程语言与系统——第十届亚洲研讨会》，2012年12月11日至13日，日本京都，APLAS 2012。 会议记录，第368-385页，2012年。 网址： http://dx.doi.org/10.1007/978-3642-35182-2_26 . -
G.S马卡宁。 自由半群中方程的可解性问题。 《马特·斯博尼克》，第147-236页，1977年。
-
G.S马卡宁。 自由群中的方程。 Izvestiya AN SSSR，第1199-1273页，1982-1983年。
-
G.S马卡宁。 自由群的普遍和积极理论的决定性。 Izvestiya AN SSSR，第735-749页，1984-1985年。
-
S.马尔琴科夫。 正∀∃的不可解性——自由半群理论。 Sibirsky mathmatichesky jurnal，第196-198页，1982年。
-
Kim Marriott和Martin Odersky。 负布尔约束。 《理论计算机科学》，第160页，第365-380页，1996年。
-
W.Plandowski。 带常数的单词方程的可满足性在PSPACE中。 《计算机协会杂志》，第483-496页，2004年。
-
W.Plandowski。 一种求解单词方程的有效算法。 第38届计算机理论年度研讨会，第467-4762006页。
-
二阶理论和无限树自动机的可判定性。 在Trans AMS中，第341-360页，1960年。
-
斯蒂恩·维梅伦（Stijn Vermeeren）。 嵌入到可数无原子布尔代数中。 2010.网址： http://stijnvermeeren.be/download/mathematics/embeddings.pdf . -
朱尔斯·维拉德。 堆和啤酒花。 2011年2月，法国卡尚高等师范学院，实验室专业与验证博士论文。