文件大小：0.5 MB 21页
原子的模态微积分
作者
-
部分： 体积： 第26届EACSL计算机科学逻辑年会（CSL 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-08-16
文件
文件标识符
引用为 获取BibTex
摘要
关键词
模态微积分 带原子的集合
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
A.阿诺德和D.尼文斯基。 微积分基础。 学习逻辑和数学基础。 伦敦，阿姆斯特丹，2001年。 
-
M.Bojañczyk、B.Klin和S.Lasota。 名义集合中的自动机理论。 日志。 方法。 公司。 科学。， 10, 2014.
-
M.Bojañczyk和T.Place。 朝向具有数据值的模型理论。 在程序中。 ICALP 2012第二部分，《计算机科学讲义》第7392卷，第116-127页，2012年。
-
J.Bradfield和C.Stirling。 模态微元。 《模态逻辑手册》第3卷第721-756页。 Elsevier，2007年。
-
J.Bradfield和C.Stirling。 模态逻辑和mu演算：导论。 《过程代数手册》，第293-330页。 北荷兰，2001年。
-
J.Bradfield和I.Walukiewicz。 微积分和模型检查。 E.Clarke、T.Henzinger和H.Veith，编辑，《模型检查手册》。 Springer-Verlag，2015年。
-
C.Carapelle和M.Lohrey。 具有本地约束的时间逻辑（受邀演讲）。 在Procs中。 CSL 2015，LIPIcs第41卷，第2-13页，2015年。
-
V.Ciancia和U.Montanari。对称、本地名称和名称的动态（去）分配。 信息计算。， 208(12):1349-1367, 2010.
-
S.Cranen、J.F.Groote和M.Reniers。 从CTL^*到一阶模态微积分的线性转换。 理论计算机科学，412（28）：3129-31392011。
-
Mads大坝。 模型检查移动进程。 信息与计算，129（1）：35-5119996。
-
洛科·德·尼古拉和米歇尔·洛雷蒂。 标称计算及其逻辑的多重标记转换系统。 计算机科学中的数学结构，18（01）：107-1432008。
-
S.Demri和D.D’Souza。 约束LTL的自动机理论方法。 信息计算。， 205(3):380-415, 2007.
-
S.Demri、D.D’Souza和R.Gascon。 重复值的时间逻辑。 J.日志。 计算。， 22(5):1059-1096, 2012.
-
S.Demri、D.Figueira和M.Praveen。 用计数器系统推理数据重复。 《计算机科学中的逻辑方法》，12（3），2016年。
-
S.Demri和R.Lazic。 带有冻结量词和寄存器自动机的LTL。 ACM事务处理。 计算。 日志。， 10(3):16:1-16:30, 2009.
-
S.Demri、R.Lazic和D.Nowak。 关于LTL约束中的冻结量词：可判定性和复杂性。 信息计算。， 205(1):2-24, 2007.
-
E.A.Emerson和J.Y.Halpern。 重新审视“有时”和“并非从未”：关于分支与线性时间-时间逻辑。 J.ACM，33（1）：151-1781986年。
-
吉安·路易吉·费拉里（Gian Luigi Ferrari）、斯特凡妮娅·格内西（Stefania Gnesi）、乌戈·蒙塔纳里（Ugo Montanari）和马克·皮斯托尔（Marco Pistore）。 移动流程的模型检查验证环境。 ACM软件工程与方法汇刊，12（4）：440-4732003。
-
D.菲格拉。 有限字和有限树上的交替寄存器自动机。 《计算机科学中的逻辑方法》，8（1），2012年。
-
D.Figueira和L.Segoufin。 数据字和树上的面向未来的逻辑。 在程序中。 MFCS 2009，《计算机科学讲义》第5734卷，第331-343页，2009年。
-
N.Francez和M.Kaminski。 有限记忆自动机。 TCS，134（2）：329-3631994年。
-
M.Gabbay和A.M.Pitts。 使用变量绑定实现抽象语法的新方法。 正式Asp。 计算。， 13(3-5):341-363, 2002.
-
Jan Friso Groote和Radu Mateescu。 使用数据验证设置中进程的时间属性。 在程序中。 1999年AMAST’99，第74-90页。
-
Jan Friso Groote和Tim A.C.Willemse。 使用数据进行模型检查。 计算机程序设计科学，56（3）：251-2732005。
-
M.Jurdzinski和R.Lazic。 数据树上的交替自动机和xpath可满足性。 ACM事务处理。 计算。 日志。， 12(3):19:1-19:21, 2011.
-
B.Klin、E.Kopczyñski、J.Ochremiak和S.Toruñczyk。 局部有限约束满足问题。 在程序中。 LICS 2015，第475-486页，2015年。
-
B.Klin和M.Szynwelski。 无限结构上函数规划的SMT求解。 MFSP，第207卷，第57-75页，2016年。 网址： http://dx.doi.org/10.4204/EPTCS.207.3 。 -
E.科普琴斯基和S.托伦奇克。 洛伊斯：语法和语义。 在Procs中。 2017年POPL第586-598页。
-
D.Kozen。 命题μ演算的结果。 西奥。 公司。 科学。， 27(3):333-354, 1983. 网址： http://dx.doi.org/10.1016/0304-3975 （82）90125-6 。 -
林惠民。移动环境的谓词μ演算。 计算机科学与技术杂志，20（1）：95-1042005。
-
F.Neven、T.Schwentick和V.Vianu。 面向无限字母的正规语言。 在MFCS中，第560-572页，2001年。
-
J.Ochremiak。 扩展约束满足问题。 华沙大学博士论文，2016年。
-
J.Parrow、J.Borgsteröm、L.-H.Eriksson、R.Gutkovas和T.Weber。 标称过渡系统的模态逻辑。 在程序中。 CONCUR 2015，LIPIcs第42卷，第198-211页，2015年。
-
A.M.皮特斯。 名词集：计算机科学中的名称和对称性。 剑桥大学出版社，2013年。
-
塞古芬（L.Segoufin）。 无限字母表上单词和树的自动机和逻辑。 在程序中。 CSL 2006，《计算机科学讲义》第4207卷，第41-57页，2006年。
-
W.Thomas和T.Wilke。 自动机、逻辑和无限游戏：当前研究指南。 符号逻辑公报，10（1）：114-1152004。
-
N.Tzevelekos公司。 新注册自动机。 SIGPLAN否。， 46(1):295-306, 2011.
-
Y.威尼斯。 模态微积分讲座。 荷兰阿姆斯特丹大学，2007年。