文件Open Access徽标

成本自动机、安全方案和向下关闭

作者 大卫·巴罗齐尼, 洛伦佐·克莱门特 , 托马斯·科尔科姆贝特 , PawełParys公司

PDF格式
缩略图PDF

文件

LIPIcs公司。ICALP.20.109.pdf
  • 文件大小：0.56 MB
  • 18页

文件标识符

作者详细信息

大卫·巴罗齐尼
  • 波兰华沙大学信息学院
洛伦佐·克莱门特
  • 波兰华沙大学信息学院
托马斯·科尔科姆贝特
  • IRIF-CNRS-法国巴黎大学
帕瓦·帕里斯
  • 波兰华沙大学信息学院

基金

  • 大卫·巴罗齐尼：作者由波兰国家科学中心资助（批准号：2016/22/E/ST6/00041）。
  • 洛伦佐·克莱门特：作者由波兰国家科学中心资助（批准号：2016/22/E/ST6/00041）。
  • 托马斯·科尔科姆贝特：由欧洲研究理事会（ERC）根据欧盟地平线2020研究与创新计划（拨款协议编号670624）和DeLTA ANR项目（ANR-16-CE40-0007）提供支持。
  • 帕里斯（Pawe Parys）：作者由波兰国家科学中心资助（批准号：2016/22/E/ST6/00041）。

引用为获取BibTex

大卫·巴罗齐尼（David Barozzini）、洛伦佐·克莱门特（Lorenzo Clemente）、托马斯·科尔科姆贝特（Thomas Colcombet）和巴韦·帕里斯（PawełParys）。成本自动机、安全方案和向下关闭。第47届国际自动化、语言和编程学术讨论会（ICALP 2020）。莱布尼茨国际信息学论文集（LIPIcs），第168卷，第109:1-109:18页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2020）
https://doi.org/10.4230/LIPIcs.ICALP.2020.109

摘要

高阶递归方案是一种表达形式主义，用于定义可能无限排列树的语言。它们扩展了正则文法和上下文无关文法，并等价于简单类型的λY-演算和可折叠下推自动机。在这项工作中，我们证明了在一个称为安全的语法约束下，递归方案的模型检查问题对交替B-自动机定义的属性的可判定性，这是具有有界接受条件的无限树的交替奇偶自动机的一个推广。然后，我们利用这个结果展示了如何计算由安全递归方案识别的有限树语言的向下闭包。

主题分类

ACM科目分类
  • 计算理论→逻辑和验证
  • 计算理论→改写系统
关键词
  • 成本逻辑
  • 成本自动机
  • 向下封闭
  • 高阶递归格式
  • 安全递归方案

韵律学

相关版本

工具书类

  1. 帕罗什·阿齐兹·阿卜杜拉（Parosh Aziz Abdulla）、吕克·博阿松（Luc Boasson）和艾哈迈德·博阿贾尼（Ahmed Bouajjani）。有效的有损队列语言。Fernando Orejas、Paul G.Spirakis和Jan van Leeuwen，自动化、语言和编程编辑，第28届国际学术讨论会，ICALP 2001，希腊克里特岛，2001年7月8日至12日，《计算机科学讲稿》第2076卷，第639-651页。斯普林格，2001年。网址：https://doi.org/10.1007/3-540-48224-5_53.
  2. 阿尔弗雷德·V·阿霍。索引语法-上下文无关语法的扩展。J.ACM，15（4）：647-6711968年。网址：https://doi.org/10.1145/321479.321488.
  3. 乔治·巴赫迈耶（Georg Bachmeier）、迈克尔·卢滕伯格（Michael Luttenberger）和马克西米利安·施伦德（Maximilian Schlund）。CFL的子和超词闭包的有限自动机：描述和计算复杂性。阿德里安·霍里亚·德迪乌（Adrian-Horia Dediu）、恩里科·福门蒂（Enrico Formenti）、卡洛斯·马丁·维德（Carlos Martín-Vide）和比安卡·特鲁特（Bianca Truthe），语言与自动化理论与应用第九届国际会议编辑，2015年3月2日至6日，法国尼斯，LATA 2015，会议录，计算机科学讲稿第8977卷，第473-485页。斯普林格，2015年。网址：https://doi.org/10.1007/978-3-319-15579-1_37.
  4. 大卫·巴罗齐尼（David Barozzini）、洛伦佐·克莱门特（Lorenzo Clemente）、托马斯·科尔科姆贝特（Thomas Colcombet）和巴韦·帕里斯（PawełParys）。成本自动机、安全方案和向下关闭。arXiv e-prints，第arXiv:2004.12187页，2020年4月。网址：http://arxiv.org/abs/2004.12187.
  5. Alessandro Berarducci和Mariangiola Dezani-Ciancaglini。无限lambda-calculus和类型。理论。计算。科学。，212(1-2):29-75, 1999. 网址：https://doi.org/10.1016/S0304-3975(98)00135-2.
  6. 阿奇姆·布卢门萨特（Achim Blumensath）、托马斯·科尔科姆贝特（Thomas Colcombet）、丹尼斯·库珀伯格（Denis Kuperberg）、帕瓦·帕里斯（PawełParys）和迈克尔·范登·布姆。无限树上的双向成本自动机和成本逻辑。Thomas A.Henzinger和Dale Miller，编辑，第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议，CSL-LICS’14，奥地利维也纳，2014年7月14-18日，16:16:9页。ACM，2014年。网址：https://doi.org/10.1145/2603088.2603104.
  7. 米科·阿杰·博扬奇克。限定量词。Jerzy Marcinkowski和Andrzej Tarlecki主编，计算机科学逻辑，第18届国际研讨会，CSL 2004，EACSL第13届年会，Karpacz，Poland，2004年9月20日至24日，计算机科学讲稿第3210卷，第41-55页。斯普林格，2004年。网址：https://doi.org/10.1007/978-3-540-30124-0_7.
  8. Luca Breveglieri、Alessandra Cherubini、Claudio Citrini和Stefano Crespi Reghizzi。多按钮语言和语法。发现的国际期刊。计算。科学。，7(3):253-292, 1996. 网址：https://doi.org/10.1142/S01290541960年191.
  9. Christopher H.Broadbent、Arnaud Carayol、C.H.Luke Ong和Olivier Serre。递归方案和逻辑反射。2010年7月11日至14日，英国爱丁堡，第25届IEEE计算机科学逻辑年会论文集，第120-129页。IEEE计算机学会，2010年。网址：https://doi.org/10.1109/LICS.2010.40.
  10. Christopher H.Broadbent和Naoki Kobayashi。高阶递归格式的基于饱和度的模型检查。Simona Ronchi Della Rocca，2013年计算机科学逻辑（CSL 2013）、2013年CSL、2013年9月2日至5日编辑，意大利都灵，LIPIcs第23卷，第129-148页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆-富尔信息科技（Leibniz-Zentrum fuer Informatik），2013年。网址：https://doi.org/10.4230/LIPIcs.CSL.2013.129.
  11. Christopher H.Broadbent和C.H.Luke Ong。关于由高阶递归方案生成的全局模型检查树。卢卡·德·阿尔法罗（Luca de Alfaro），《软件科学与计算结构基础》（Foundations of Software Science and Computational Structures）编辑，第12届国际会议，FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2009，英国约克，2009年3月22日至29日。《计算机科学讲义》第5504卷，第107-121页。施普林格，2009年。网址：https://doi.org/10.1007/978-3-642-00596-1_9.
  12. 阿诺德·卡莱约尔（Arnaud Carayol）和奥利维尔·塞雷（Olivier Serre）。可折叠下推自动机和标记递归方案：等价性、安全性和有效选择。在2012年6月25日至28日在克罗地亚杜布罗夫尼克举行的第27届IEEE计算机科学逻辑年度研讨会论文集，LICS 2012，第165-174页。IEEE计算机学会，2012年。网址：https://doi.org/10.1109/LICS.2012.73.
  13. Lorenzo Clemente、PawełParys、Sylvain Salvati和Igor Walukiewicz。有序的树下推系统。在Prahladh Harsha和G.Ramalingam，编辑，第35届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2015年12月16-18日，印度班加罗尔，LIPIcs第45卷，第163-177页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2015年。网址：https://doi.org/10.4230/LIPIcs.FSTTCS.2015.163.
  14. Lorenzo Clemente、PawełParys、Sylvain Salvati和Igor Walukiewicz。高阶递归格式的对角线问题是可判定的。Martin Grohe、Eric Koskinen和Natarajan Shankar，编辑，第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS’16，美国纽约，2016年7月5-8日，第96-105页。ACM，2016年。网址：https://doi.org/10.1145/2933575.2934527.
  15. 托马斯·科尔科姆贝特。常规成本函数，第一部分：单词的逻辑和代数。《计算机科学中的逻辑方法》，9（3），2013年。网址：https://doi.org/10.2168/LMCS-9(3:3)2013.
  16. 托马斯·科尔科姆贝特和斯特凡·格勒。带有限定猜测动作的游戏。Martin Grohe、Eric Koskinen和Natarajan Shankar编辑，《第31届ACM/IEEE计算机科学逻辑研讨会论文集》，2016年7月5日至8日，美国纽约州纽约市，LICS’16，第257-266页。ACM，2016年。网址：https://doi.org/10.1145/2933575.2934502.
  17. 托马斯·科尔科姆贝特和克里斯托夫·洛丁。非确定性Mostowski层次和距离-完整自动机。2008年7月7日至11日，冰岛雷克雅未克，ICALP 2008第35届国际学术讨论会，语言与编程，自动化编辑卢卡·埃托奥，伊万·达姆格德，莱斯利·安·戈德伯格，马格纳斯·M·哈尔德森，安娜·英戈夫斯多蒂尔和伊戈尔·瓦卢基维茨，《会议录，第二部分-轨道B：逻辑，语义，和《编程理论与轨道C：安全与密码基础》，计算机科学讲义第5126卷，第398-409页。施普林格，2008年。网址：https://doi.org/10.1007/978-3-540-70583-3_33.
  18. 托马斯·科尔科姆贝特和克里斯托夫·洛丁。有限树上的正则代价函数。2010年7月11日至14日，英国爱丁堡，第25届IEEE计算机科学逻辑年会会议记录，第70-79页。IEEE计算机学会，2010年。网址：https://doi.org/10.1109/LICS.2010.36.
  19. 休伯特·科蒙（Hubert Comon）、马克斯·多切特（Max Dauchet）、雷米·吉伦（Remi Gilleron）、弗洛伦特·雅克马尔（Florent Jacquemard）、丹尼斯·卢吉兹（Denis Lugiez）、克里斯托夫·洛丁（Christof Löding）、索菲·蒂森（Sophie Tison）和马克·托马西（Marc Tommasi）。树自动机技术和应用，2007年。网址：http://tata.gforge.inria.fr/.
  20. 布鲁诺·库塞尔（Bruno Courcelle）。关于构建障碍词集。EATCS公报，1991年。谷歌学者
  21. Wojciech Czerwinn ski、Wim Martens、Lorijn van Rooijen和Marc Zeitoun。关于分段可测试语言的可判定可分性的一个注记。Adrian Kosowski和Igor Walukiewicz，编辑，《计算理论基础-第20届国际研讨会》，2015年8月17日至19日，波兰格但斯克，2015年8月17日至19日，《计算机科学讲义》第9210卷，第173-185页。斯普林格，2015年。网址：https://doi.org/10.1007/978-3-319-22177-9_14.
  22. Wojciech Czerwinn ski、Wim Martens、Lorijn van Rooijen、Marc Zeitoun和Georg Zetzsche。分段可测试语言的可判定可分性特征。《离散数学与理论计算机科学》，第19卷第4期，FCT’15，2017年12月。网址：https://doi.org/10.23638/DMTCS-19-4-1.
  23. 沃纳·达姆。IO和OI层次结构。理论。计算。科学。，20:95-207, 1982. 网址：https://doi.org/10.1016/0304-3975(82)90009-3.
  24. 阿兰·芬克尔（Alain Finkel）和让·古鲍特·拉雷克（Jean Goubault-Larrecq）。WSTS的正向分析，第一部分：完成情况。Susanne Albers和Jean-Yves Marion，编辑，第26届计算机科学理论方面国际研讨会，2009年2月26日至28日，德国弗莱堡，LIPIcs第3卷，第433-444页。达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik，德国，2009年。网址：https://doi.org/10.4230/LIPIcs.STACS.2009.1844.
  25. Jean Goubault-Larrecq和Sylvain Schmitz。确定正则树语言的分段可测试可分性。在Ioannis Chatzigiannakis、Michael Mitzenmacher、Yuval Rabani和Davide Sangiorgi编辑的2016年7月11日至15日ICALP第43届国际自动化、语言和编程学术讨论会上，意大利罗马，LIPIcs第55卷，第97:1-97:15页。Dagstuhl Schloss-Leibniz-Zentrum fuer Informatik，2016年。网址：https://doi.org/10.4230/LIPIcs.ICALP.2016.97.
  26. 编辑Erich Grädel、Wolfgang Thomas和Thomas Wilke。自动机、逻辑学和无限游戏：当前研究指南【Dagstuhl研讨会成果，2001年2月】，《计算机科学讲义》第2500卷。斯普林格，2002年。网址：https://doi.org/10.1007/3-540-36387-4.
  27. 彼得·哈贝梅尔（Peter Habermehl）、罗兰·梅耶（Roland Meyer）和哈罗·温梅尔（Harro Wimmel）。Petri网语言的向下封闭。Samson Abramsky、Cyril Gavoille、Claude Kirchner、Friedhelm Meyer auf der Heide和Paul G.Spirakis，《自动机、语言与程序设计》编辑，第37届国际学术讨论会，ICALP 2010，法国波尔多，2010年7月6日至10日，《计算机科学讲义》第二部分第6199卷，第466-477页。施普林格，2010年。网址：https://doi.org/10.1007/978-3-642-14162-1_39.
  28. 阿克塞尔·哈达德。高阶递归方案中的IO与OI。在Dale Miller和ZoltánÉsik，编辑，《计算机科学不动点第八次研讨会论文集》，FICS 2012，爱沙尼亚塔林，2012年3月24日。EPTCS第77卷，第23-30页，2012年。网址：https://doi.org/10.4204/EPTCS.77.4.
  29. Matthew Hague、Jonathan Kochems和C.H.Luke Ong。高阶下推自动机的无界性和向下闭包。Rastislav Bodík和Rupak Majumdar，编辑，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，2016年POPL，美国佛罗里达州圣彼得堡，2016年1月20日至22日，第151-163页。ACM，2016年。网址：https://doi.org/10.1145/2837614.2837627.
  30. 马修·黑格（Matthew Hague）、安德烈·穆拉夫斯基（Andrzej S.Murawski）、C.-H.卢克·翁（C.-H.Luke Ong）和奥利维尔·塞雷（Olivier Serre）。可折叠下推自动机和递归方案。2008年6月24日至27日在美国宾夕法尼亚州匹兹堡举行的第二十三届IEEE计算机科学逻辑研讨会论文集，第452-461页。IEEE计算机学会，2008年。网址：https://doi.org/10.109/LICS.2008.34.
  31. 格雷厄姆·希格曼。抽象代数中按可除性排序。程序。伦敦数学。Soc.，s3-2（1）：326-3361952年1月。网址：https://doi.org/10.112/plms/s3-2.1.326.
  32. 理查德·肯纳韦（Richard Kennaway）、扬·威廉·科洛普（Jan Willem Klop）、M.罗南·斯莱普（M.Ronan Sleep）和弗·扬·德弗里斯（Fer-Jan de Vries）。无限lambda微积分。理论。计算。科学。，175(1):93-125, 1997. 网址：https://doi.org/10.1016/S0304-3975(96)00171-5.
  33. 特奥多尔·科纳皮克（Teodor Knapik）、达米安·尼文斯基（Damian Niwinn ski）和帕维·乌尔济钦（PawełUrzyczyn）。决定痛觉过敏树的单子理论。Samson Abramsky，《键入的Lambda Calculi和应用》编辑，第五届国际会议，TLCA 2001，波兰克拉科夫，2001年5月2-5日，《计算机科学讲稿》第2044卷，第253-267页。斯普林格，2001年。网址：https://doi.org/10.1007/3-540-45413-6_21.
  34. 特奥多尔·科纳皮克（Teodor Knapik）、达米安·尼文斯基（Damian Niwinn ski）和帕维·乌尔济钦（PawełUrzyczyn）。高阶下推树很容易。Mogens Nielsen和Uffe Engberg主编，《软件科学和计算结构基础》，第五届国际会议，FOSSACS 2002。作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2002，格勒诺布尔，法国，2002年4月8日至12日，《计算机科学讲稿》第2303卷，第205-222页。施普林格，2002年。网址：https://doi.org/10.1007/3-540-45931-6_15.
  35. 小林直树。一种实用的线性时间算法，用于高阶递归方案的平凡自动机模型检查。马丁·霍夫曼（Martin Hofmann），《软件科学和计算结构基础——第14届国际会议》（Foundations of Software Science and Computational Structures-14th International Conference）编辑，2011年FOSSACS，作为欧洲软件理论与实践联合会议的一部分，2011年3月26日至4月3日在德国萨尔布吕肯举行。《计算机科学讲义》第6604卷，第260-274页。施普林格，2011年。网址：https://doi.org/10.1007/978-3-642-19805-2_18.
  36. 小林直树。模型检查高阶程序。J.ACM，60（3）：20:1-20:622013年。网址：https://doi.org/10.1145/2487241.2487246.
  37. Naoki Kobayashi和C.H.Luke Ong。一种类型系统，相当于高阶递归格式的模态多演算模型检查。2009年8月11日至14日，美国加利福尼亚州洛杉矶市，第24届IEEE计算机科学逻辑年会论文集，第179-188页。IEEE计算机学会，2009年。网址：https://doi.org/10.109/LICS.2009.29.
  38. Gregory M.Kobele和Sylvain Salvati。重新审查IO和OI层次结构。信息计算。，243:205-221, 2015. 网址：https://doi.org/10.1016/j.ic.2014.12.015.
  39. 丹尼斯·库珀伯格和迈克尔·范登·布姆。准威克成本自动机：弱点的新变种。在Supratik Chakraborty和Amit Kumar，编辑，IARCS软件技术和理论计算机科学基础年度会议，FSTTCS 2011，2011年12月12-14日，印度孟买，LIPIcs第13卷，第66-77页。Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社，2011年。谷歌学者
  40. 丹尼斯·库珀伯格和迈克尔·范登·布姆。准威克成本自动机：弱点的新变种。在Supratik Chakraborty和Amit Kumar，编辑，IARCS软件技术和理论计算机科学基础年度会议，FSTTCS 2011，2011年12月12-14日，印度孟买，LIPIcs第13卷，第66-77页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2011年。网址：https://doi.org/10.4230/LIPIcs.FSTTCS.2011.66.
  41. 简·范·吕文（Jan van Leeuwen）。部分有序自由幺半群的有效构造。离散数学，21（3）：237-2521978。网址：https://doi.org/10.1016/012-365X(78)90156-5.
  42. Robin P.Neatherway和C.H.Luke Ong。TravMC2：交替奇偶树自动机的高阶模型检查。在Neha Rungta和Oksana Tkachuk，编辑，2014年软件模型检查国际研讨会，SPIN 2014，Proceedings，San Jose，CA，USA，2014年7月21日至23日，第129-132页。ACM，2014年。网址：https://doi.org/10.1145/2632362.2632381.
  43. C.-H.卢克·昂。关于由高阶递归方案生成的模型检查树。第21届IEEE计算机科学逻辑研讨会（LICS 2006），2006年8月12-15日，美国华盛顿州西雅图，会议记录，第81-90页。IEEE计算机协会，2006年。网址：https://doi.org/10.109/LICS.2006.38.
  44. PawełParys公司。关于坍塌作业的重要性。2012年6月25日至28日，克罗地亚杜布罗夫尼克，第27届IEEE计算机科学逻辑年会论文集，第521-530页。IEEE计算机学会，2012年。网址：https://doi.org/10.1109/LICS.2012.62.
  45. PawełParys公司。递归格式对角问题的复杂性。Satya Lokam和R.Ramanujam，编辑，Proc。FSTTCS’17，莱布尼茨国际信息学论文集（LIPIcs）第93卷，第45:1-45:14页，德国达格斯图尔，2017年。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息宫（Leibniz-Zentrum fuer Informatik）。网址：https://doi.org/10.4230/LIPIcs.FSTTCS.2017.45.
  46. 帕瓦·帕里斯。递归方案和WMSO+U逻辑。罗尔夫·尼德迈尔（Rolf Niedermeier）和布里吉特·瓦莱（Brigitte Vallée）主编，第35届计算机科学理论研讨会，2018年2月28日至3月3日，法国卡昂，LIPIcs第96卷，第53:1-53:16页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2018年。网址：https://doi.org/10.4230/LIPIcs.STACS.2018.53.
  47. 史蒂文·拉姆齐（Steven J.Ramsay）、罗宾·尼瑟韦（Robin P.Neatherway）和C.-H.卢克·翁（C.-H.Luke Ong）。一种用于高阶模型检查的类型定向抽象精化方法。在Suresh Jagannathan和Peter Sewell编辑的《第41届ACM SIGPLAN-SIGACT编程语言原则年度研讨会》中，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月20日至21日，第61-72页。ACM，2014年。网址：https://doi.org/10.1145/25535838.2535873.
  48. Sylvain Salvati和Igor Walukiewicz。Krivine机器和高阶方案。信息计算。，239:340-355, 2014. 网址：https://doi.org/10.1016/j.ic.2014.07.012.
  49. Sylvain Salvati和Igor Walukiewicz。高阶程序行为特性的模型。Stephan Kreutzer，编辑，第24届EACSL计算机科学逻辑年会，CSL 2015年9月7日至10日，德国柏林，LIPIcs第41卷，第229-243页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2015年。网址：https://doi.org/10.4230/LIPIcs.CSL.2015.229.
  50. Sylvain Salvati和Igor Walukiewicz。简单类型不动点演算和可折叠下推自动机。计算机科学中的数学结构，26（7）：1304-13502016。网址：https://doi.org/10.1017/S0960129514000590.
  51. 拉里·斯托克梅耶（Larry J.Stockmeyer）。自动机理论和逻辑中决策问题的复杂性。麻省理工学院博士论文，1974年。谷歌学者
  52. 迈克尔·范登·布姆。无限树上的弱代价一元逻辑。Filip Murlak和Piotr Sankowski，编辑，2011年计算机科学数学基础-第36届国际研讨会，2011年MFCS，波兰华沙，2011年8月22-26日。《计算机科学讲义》第6907卷，第580-591页。施普林格，2011年。谷歌学者
  53. 迈克尔·范登·布姆。无限树上的弱代价一元逻辑。Filip Murlak和Piotr Sankowski，编辑，2011年计算机科学数学基础-第36届国际研讨会，MFCS 2011，波兰华沙，2011年8月22日至26日。《计算机科学讲义》第6907卷，第580-591页。施普林格，2011年。网址：https://doi.org/10.1007/978-3-642-22993-0_52.
  54. 乔治·泽采。计算向下闭包的方法。Magnüs M.Halldórsson、Kazuo Iwama、Naoki Kobayashi和Bettina Speckmann，编辑，Proc。ICALP’15，LNCS第9135卷，第440-451页。斯普林格，2015年。网址：https://doi.org/10.1007/978-3-662-47666-6_35.
  55. 乔治·泽采。计算堆叠计数器自动机的向下闭包。Ernst W.Mayr和Nicolas Ollinger主编，第32届计算机科学理论方面国际研讨会，2015年3月4日至7日，德国加兴，LIPIcs第30卷，第743-756页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2015年。网址：https://doi.org/10.4230/LIPIcs.STACS.2015.743.
  56. 格奥尔格·泽茨彻。向下闭合比较的复杂性。在Ioannis Chatzigiannakis、Michael Mitzenmacher、Yuval Rabani和Davide Sangiorgi编辑的2016年7月11日至15日ICALP第43届国际自动化、语言和编程学术讨论会上，意大利罗马，LIPIcs第55卷，第123:1-123:14页。Dagstuhl Schloss-Leibniz-Zentrum fuer Informatik，2016年。网址：https://doi.org/10.4230/LIPIcs.ICALP.2016.123.
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人