文件大小：0.58 MB 14页
无限字符串的FO-可定义变换
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
传感器 FO-可定义性 无限字符串
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
R.Alur、A.Durand-Gasselin和A.Trivedi。 从一元二阶可定义字符串变换到换能器。 在LICS中，第458-467页，2013年。 
-
拉杰夫·阿鲁尔和洛里斯·德安东尼。 《自动化、语言与编程：第39届国际学术讨论会》，ICALP 2012，英国沃里克，2012年7月9日至13日，会议记录，第二部分，流树传感器一章，第42-53页。 施普林格-柏林-海德堡，柏林，海德堡。
-
拉杰夫·阿鲁尔（Rajeev Alur）、伊曼纽尔·菲利奥特（Emmanuel Filiot）和阿什图什·特里维迪（Ashutosh Trivedi）。 无限字符串的正则变换。 在2012年第27届IEEE/ACM计算机科学逻辑年度研讨会论文集，LICS’12，第65-74页，美国华盛顿特区，2012年。 IEEE计算机学会。
-
Rajeev Alur和P.Madhusudan。 向单词添加嵌套结构。 J.ACM，56（3）：16:1-16.432009年5月。
-
Rajeev Alur和PavolČerný。 用于单程列表处理程序算法验证的流式传感器。 第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'11，第599-610页。 ACM，2011年。
-
拉杰夫·阿鲁尔和帕沃尔·乔恩。 流串传感器的表现力。 在Kamal Lodaya和Meena Mahajan，编辑，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），莱布尼茨国际信息学学报（LIPIcs）第8卷，第1-12页，德国达格斯图尔，2010年。 达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息宫（Leibniz-Zentrum fuer Informatik）。 网址： http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.1 . -
J.R.Büchi。 弱二阶算法和有限自动机。 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik，6（1-6）：66-921960。
-
J.R.Büchi。 关于限制二阶算法中的一种决策方法。 在国际会议上。 《逻辑方法论和科学哲学》，第1-11页。 斯坦福大学出版社，斯坦福，1962年。
-
奥利维尔·卡尔顿和吕克·达托伊斯。 非周期性双向换能器和fo-transformations。 2015年9月7日至10日在德国柏林举行的第24届欧洲计算机学会计算机科学逻辑年会上，第160-174页。
-
B.库塞尔。 一元二阶可定义图转导：综述。 理论计算机科学，126（1）：53-751994。
-
Vrunda Dave、Shankara Narayanan Krishna和Ashutosh Trivedi。 无限字符串的可定义变换。 CoRR，abs/1607.049102016年。 网址： http://arxiv.org/abs/1607.04910 . -
V.Diekert和P.Gastin。 一阶可定义语言。 《逻辑与自动化：历史与展望》，第261-306页。 阿姆斯特丹大学出版社，2008年。
-
J.Engelfriet和H.J.Hoogeboom。 MSO可定义字符串转换和双向有限状态传感器。 ACM事务处理。 计算。 逻辑，2:216-2524001。
-
艾曼纽尔·菲利奥特。 逻辑及其应用：第六届印度会议，ICLA 2015，印度孟买，2015年1月8日至10日。 《程序集》，第30-57页，“用于转换的逻辑-自动连接”一章。 施普林格-柏林-海德堡，柏林，海德堡。
-
Emmanuel Filiot、Shankara Narayanan Krishna和Ashutosh Trivedi。 一阶可定义字符串转换。 在2014年12月15日至17日于印度新德里举行的第34届软件技术和理论计算机科学基金会国际会议上，第147-159页。
-
理查德·拉德纳（Richard E.Ladner）。 模型理论博弈在离散线性阶和有限自动机中的应用。 信息与控制，33（4）：281-3031977。
-
R.麦克诺顿。 用有限自动机测试和生成无限序列。 通知。 控制。， 9:521-530, 1966.
-
R.McNaughton和S.Papert。 无计数器自动机。 M.I.T.研究专著，65，1971年。 附有威廉·亨尼曼的附录。
-
多米尼克·佩林（Dominique Perrin），《1984年计算机科学数学基础：论文集》，第11届研讨会，1984年9月3日至7日，捷克斯洛伐克普拉哈，第134-148页。 施普林格-柏林-海德堡，1984年。
-
M.P.Schuetzenberger先生。 关于只有平凡子群的有限幺半群。 信息与控制，8（2）：190-1941965。
-
有限自动机、形式逻辑和电路复杂性。 Birkhäuser，波士顿，1994年。
-
沃尔夫冈·托马斯。 ω-序列的无星正则集。 信息与控制，42（2）：148-1561979。
-
沃尔夫冈·托马斯。 语言、自动机和逻辑。 《形式语言手册》，第389-455页。 施普林格，1996年。
-
沃尔夫冈·托马斯。 Ehrenfeucht游戏、构词方法和序数词的单子理论。 《逻辑与计算机科学结构：纪念A.Ehrenfeucht的论文选集》，演讲，第118-143页。 Springer-Verlag，1997年。