 |
 |
米科·阿杰·博扬奇克； 巴托克·克林； Sławomir Lasota女士 - 标称集合中的自动机理论
树逻辑的表达能力 ; 出资人：欧洲委员会； 代码：239850
文后参考文献
51引用本文的文件
林多·纳卡尼什（Rindo NAKANISHI）； 高田吉崎 ; Hiroyuki SEKI公司 ，2023，用带寄存器的计算模型表示的语言的泵浦引理， 信息和系统的IEICE交易 ，E106.D，3，第284-293页， 10.1587/传输2022fcp0004 , https://doi.org/10.1587/transinf.2022fcp0004 . 塞缪尔·巴尔科 ; 亚历山大·库兹 ，2023，标称PROP的完整性， 计算机科学中的逻辑方法 ，第19卷，第1期， 10.46298/lmcs-19（1:8）2023年 , https://doi.org/10.46298/lmcs-19 (1:8)2023 . 安德烈·亚历山德鲁 ; 加布里埃尔·乔巴努 ，2022，原子软集， 数学 第10、12页，第1956页， 10.3390/路10121956 , https://doi.org/10.3390/math10121956 . 弗洛里安·弗兰克 ; 斯特凡·米利乌斯 ; 亨宁·乌尔巴特 , arXiv（康奈尔大学） 《名义自动机的协同语义》，第45-662022页， 10.1007/978-3-031-10736-8_3 , http://arxiv.org/abs/2202.06546 . 彼得·琼森 ; 维克多·拉格维斯特 ，2022，无限域CSP的一般下限和改进算法， 算法 ，85，1，第188-215页， 2007年10月7日/00453-022-0117-8 , https://doi.org/10.1007/s00453-022-01017-8 . 中野仁道； 高田吉明 ; Hiroyuki Seki先生 , arXiv（康奈尔大学） 《确定性自下而上标称树自动机的主动学习》，第342-359页，2022年， 10.1007/978-3-031-17715-6_22 , http://arxiv.org/abs/2208.08319 . 西蒙·迪尔 ; 福克·豪尔 , 计算机科学课堂讲稿 ，$$\textsc{Reach}$$on Register Automata via History Independence，第11-30页，2022年， 10.1007/978-3-031-09827-7_2 . 戴维·文霍克； 约书亚·莫尔曼 ; 朱里安·罗特 ，2022，有序标称集的快速计算， arXiv（康奈尔大学） ，935，第82-104页， 2016年10月10日/j.tcs.2022.09.002 , https://arxiv.org/abs/1902.08414 . 巴托克·克林 ; Sławomir Lasota女士 ; 西蒙·托伦奇克 , 计算机科学课堂讲稿 《非确定性和共非确定性意味着确定性》，《数据语言》，第365-384页，2021年， 10.1007/978-3-030-71995-1_19 , https://doi.org/10.1007/978-3-030-71995-1_19 . 汉斯·佩特·迪费尔 ; 斯特凡·米利乌斯 ; 托尔斯滕·维曼 ，2021，有效最小化的Coalgebra编码，第19-页， 10.4230/lipics.fscd.2021.28 . 亨宁·乌尔巴特 ; 丹尼尔·奥斯曼 ; 斯特凡·米利乌斯 ; 卢茨·施罗德 《带名称分配的标称Büchi Automata》，第16-页，2021年， 10.4230/脂质体。同意。2021.4 . Hiroyuki Seki先生 ; 瑞奥·吉村（Reo Yoshimura）； 高田吉崎 ，2021，加权寄存器自动机的最优运行问题， 理论计算机科学 ，850，第185-201页， 2016年10月10日/j.tcs.2020.11.003 . 曼纽尔·博德斯基 ; 贝塔兰·博多 2021年，轨道增长较小的置换群， 群论杂志 第24、4页，第643-709页， 10.1515/jgth-2018-0220 , https://doi.org/10.1515/jgth-2018-0220 . 米科拉伊·博扬奇克 ; 巴托克·克林 ; 约书亚·莫尔曼 , arXiv（康奈尔大学） ，轨道有限维向量空间和加权寄存器自动机，2021年，意大利罗马， 10.1109/lics52264.2021.9470634 , http://arxiv.org/abs/2104.02438 . 默多克·J·加贝 ，2021，UTxO区块链代数， MSCS公司。 计算机科学中的数学结构 ，第31、9页，第1034-1089页， 10.1017/s0960129521000438 , https://doi.org/10.1017/s0960129521000438 . 拉杜·格里戈尔 ; 斯特凡·基弗 ，2021年，选择性监测， 计算机与系统科学杂志 第117页，第99-129页， 2016年10月10日/j.jcss.2020.09.003 . 龙马仙达； 高田吉崎 ; Hiroyuki Seki先生 ，2021，寄存器下推系统的LTL模型检查， 信息和系统的IEICE交易 ，E104.D，12，第2131-2144页， 10.1587/传输.2020edp7265 , https://doi.org/10.1587/transinf.2020edp7265 . 龙马仙达； 高田吉崎 ; Seki宏之 ，2021，寄存器下推系统的正向正则性保持特性， 信息和系统的IEICE交易 ，E104.D，3，第370-380页， 10.1587/传输.2020fcp0008 , https://doi.org/10.1587/transinf.2020fcp0008 . 龙马仙达； 高田吉崎 ; Hiroyuki Seki先生 , 计算机科学课堂讲稿 ，《来自可视寄存器下推自动机的反应合成》，第334-3532021页， 10.1007/978-3-030-85315-0_19 . 西蒙·迪尔 ; 福克·豪尔 , 计算机科学课堂讲稿 《通用寄存器自动机形式化的分类和约简》，第186-218页，2021年， 10.1007/978-3-030-91384-7_10 . 托尔斯滕·维曼 ; 汉斯·佩特·迪费尔 ; 斯特凡·米利乌斯 ; 卢茨·施罗德 ，2021，从泛型划分细化到加权树自动机最小化， 计算的形式方面 第33、4-5页，第695-727页， 10.1007/s00165-020-00526-z , https://doi.org/10.1007/s00165-020-00526-z . 丹尼尔·奥斯曼 ; 斯特凡·米利乌斯 ; 卢茨·施罗德 ，具有名称分配的线性时间标称微积分。， 第18-页，2020年， 10.4230/lipics.mfcs.2021.58 . 亨宁·乌尔巴特 ; 卢茨·施罗德 , 第35届ACM/IEEE计算机科学逻辑年会论文集 ，Automata Learning，2020年，德国萨尔布吕肯， 10.1145/3373718.3394775 . 洛伦佐·克莱门特 2020年，《关于无歧义上下文语法普遍性和包容性问题的复杂性》， arXiv（康奈尔大学） ，第320页，第29-43页， 10.4204/eptcs.320.2 . 默多克·詹姆斯·加巴伊 2020年，等变ZFA和标称技术的基础， arXiv（康奈尔大学） 第30、2页，第525-548页， 10.1093/log.com/exz015 , https://arxiv.org/abs/1801.09443 . 龙马仙达； 高田吉崎 ; Hiroyuki Seki先生 ，2020，广义寄存器上下文自由语法， 信息和系统的IEICE交易 ，E103.D，3，第540-548页， 10.1587/传输2019fcp0010 , https://doi.org/10.1587/transinf.2019fcp0010 . 汉斯·佩特·迪费尔 ; 斯特凡·米利乌斯 ; 卢茨·施罗德 ; 托尔斯滕·维曼 , arXiv（康奈尔大学） 《通用划分精化和加权树自动机》，第280-297页，2019年， 10.1007/978-3-030-30942-8_18 , https://arxiv.org/abs/1811.08850 . Hiroyuki Seki先生 ; 瑞奥·吉村（Reo Yoshimura）； 高田吉崎 , 计算机科学课堂讲稿 ，加权寄存器自动机的最优运行问题，第91-110页，2019年， 10.1007/978-3-030-32505-3_6 . 洛伦佐·克莱门特； Sławomir Lasota； Ranko Lazić； 菲利普·马佐维耶基 ，2019，时间寄存器下推自动机和分支向量加法系统的二进制可达性， 华威研究档案门户网站（华威大学） 第20、3页，第1-31页， 10.1145/3326161 , http://wrap.warwick.ac.uk/119092/1/wrap-binary-reachability-timed-register-pushdown-automata-vector-Lazic-2019.pdf . 仙田龙马； 高田吉崎 ; Hiroyuki Seki先生 , 计算机科学课堂讲稿 《通用寄存器上下文无关语法》，第259-271页，2019年， 10.1007/978-3-030-13435-8_19 . 易晓； 埃米利奥·图斯托 2019年，《关于学习带绑定器的标称自动机》， arXiv（康奈尔大学） ，304，第137-155页， 10.4204/第304.9节 . 大卫·文霍克； 约书亚·莫尔曼 ; 侏罗纪腐朽 , arXiv（康奈尔大学） ，《有序标称集的快速计算》，第493-5122018页， 10.1007/978-3-030-02508-3_26 , http://arxiv.org/abs/1902.08414 . M.M.易卜拉希米 ; Kh.Keshvardoost； 马哈茂迪先生 ，2018，简单的次直不可约有限支持Cb-集， 理论计算机科学 ，706，第1-21页， 2016年10月10日/j.tcs.2017.08.003 , https://doi.org/10.1016/j.tcs.2017.08.003 . Sławomir Lasota； 拉多斯·瓦夫·皮奥科夫斯基 , 计算机科学课堂讲稿 ，《WQO三图二分法》，第548-564页，2018年， 10.1007/978-3-319-89366-2_30 , https://doi.org/10.1007/978-3-319-89366-2_30 . Benedikt Brütsch； 帕特里克·兰德威尔（Patrick Landwehr）； 沃尔夫冈·托马斯 , 计算机科学课堂讲稿 ，$$\mathbb{N}$$-字母表上的内存自动机$$\mathbb{N}$$，第91-102页，2017年， 10.1007/978-3-319-53733-7_6 . 埃里克·科普琴斯基； 西蒙·托伦奇克 ，2017，LOIS：语法和语义， SIGPLAN通知 ，52，1，第586-598页， 10.1145/3093333.3009876 . 埃里克·科普琴斯基； 西蒙·托伦奇克 , 第44届ACM SIGPLAN程序设计语言原理研讨会论文集 ，LOIS:语法和语义，2017年，法国巴黎， 10.1145/3009837.3009876 . 约书亚·莫尔曼 ; 马泰奥·桑马蒂诺 ; 亚历山德拉·席尔瓦 ; 巴托克·克林 ; MichałSzynwelski ，2017，学习名义自动机， 伦敦大学学院探索学院（伦敦大学学院） ，52，1，第613-625页， 10.1145/3093333.3009879 , https://discovery.ucl.ac.uk/id/eprint/10085264/ . 约书亚·莫尔曼 ; 马泰奥·桑马蒂诺 ; 亚历山德拉·席尔瓦 ; 巴托克·克林 ; MichałSzynwelski , arXiv（康奈尔大学） 《学习名义自动机》，2017年，法国巴黎， 10.1145/3009837.3009879 , https://arxiv.org/abs/1607.06268 . Khadijeh Keshvardoost； 莫伊甘·马哈茂迪 ，2017，从G-标称集范畴到01-G-标称集合范畴的自由函子， 软计算 ，第22、11页，第3637-3648页， 2007年10月10日/200500-017-2793-2 . 卢茨·施罗德 ; 德克斯特·科赞 ; 斯特凡·米利乌斯 ; 托尔斯滕·维曼 , arXiv（康奈尔大学） 《带名称绑定的名义自动机》，第124-142页，2017年， 10.1007/978-3-662-54458-7_8 , http://arxiv.org/abs/1603.01455 . 彼得·霍夫曼 ; 杰罗姆·勒鲁 ; 帕特里克·托茨克 , 爱丁堡研究探索者（爱丁堡大学） ，无序数据向量的线性组合，2017年，冰岛雷克雅未克， 10.1109/lics.2017.8005065 , https://www.pure.ed.ac.uk/ws/files/35462990/HLT2017.pdf . 托马斯·科尔科贝特 ; 丹妮拉·佩特里桑 2017年，自动化和最小化， SIGLOG新闻 第4、2页，第4-27页， 10.1145/3090064.3090066 , https://doi.org/10.1145/3090064.3090066 . 安德鲁·皮特斯 2016年，标称技术， SIGLOG新闻 第3、1页，第57-72页， 10.1145/2893582.2893594 , https://doi.org/10.1145/2893582.2893594 . 巴托克·克林 ; MichałSzynwelski 2016，无限结构上函数编程的SMT求解， arXiv（康奈尔大学） ，207，第57-75页， 10.4204/第207.3节 . 曼纽尔·博德斯基 ; 安托万·莫特特 , 第31届ACM/IEEE计算机科学逻辑年会论文集 ，有限有界均匀结构的约简，以及从有限域约束满足中提升可牵引性，2016年，美国纽约州纽约市， 10.1145/2933575.2934515 . 彼得·霍夫曼 ; Sławomir Lasota； Ranko Lazić； 杰罗姆·勒鲁 ; Sylvain Schmitz； 等。 《无序数据Petri网的可覆盖树》，第445-461页，2016年， 10.1007/978-3-662-49630-5_26 , https://hal.inia.fr/hal-01252674 . Sławomir Lasota女士 , 计算机科学课堂讲稿 《带数据的Petri网的可判定边界：WQO二分法猜想》，第20-36页，2016年， 10.1007/978-3-319-39086-4_3 , https://doi.org/10.1007/978-3-319-39086-4_3 . 巴托克·克林 ; 埃里克·科普钦斯基（Eryk Kopczynski）； 乔安娜·奥奇里米亚克（Joanna Ochremiak）； Szymon Torunczyk公司 , CiteSeer X（宾夕法尼亚州立大学） ，局部有限约束满足问题，2015，日本京都， 10.1109/lics.2015.51 , http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.702.3798 . 德克斯特·科赞 ; 康斯坦蒂诺斯·马穆拉斯 ; 亚历山德拉·席尔瓦 , CiteSeer X（宾夕法尼亚州立大学） 《名义克莱纳代数中的完全性和不完全性》，第51-66页，2015年， 10.1007/978-3-319-24704-5_4 , http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.713.9909 . 德克斯特·科赞 ; 康斯坦丁诺斯·马莫拉斯 ; 丹妮拉·佩特里桑； 亚历山德拉·席尔瓦 , eCommons（康奈尔大学） 《Nominal Kleene Coalgebra》，第286-298页，2015年， 10.1007/978-3-662-47666-6_23 , https://hdl.handle.net/1813/39108 .