{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T18:43:36Z”，“时间戳”：1648665816060}，“出版商位置”：“柏林，海德堡”，“参考计数”：25，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540000105”，“类型”：“打印”}，{“值”：“9783540360780”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2002]]}，”DOI“：”10.1007\/3-540-36078-6_21“，”type“：”book-capter“，”created“：”{“date-part”：[2007,6,1]]，“date-time”：“2007-06-01T02:48:36 Z“，”时间戳“：1180666116000}，”页面“：”311-326“，”源“：“Crossref”，“is-referenced-by-count”：1，“title”：[“Parallelism and Tree Regular Constraints”]，“prefix”：“10.1007”，”author“：[{”given“：”Joachim“，”family“：”Niehren“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Mateu“，“family”：“Villaret”，：[2002,10,24]]}，“reference”：[{“key”：“21_CR1”，“unstructured”：“Ernst Althaus，Denys Duchier，Alexander Koller，Kurt Mehlhorn，Joachim Niehren，and Sven Thiel。优势图配置问题的一种有效算法。第十二届ACM-SIAM离散算法研讨会，第815\u20138242001页。”}，{“密钥”：“21 _CR2”，“doi-asserted-by”：“publisher”，“首页”：“5”，“DOI”：“10.1007\/BF010484003”，“卷”：“4”，“作者”：“R.Backofen”，“年份”：“1995”，“非结构化”：“R.Backofen，J.Rogers，and K.Vijay Shanker。有限树理论的一阶公理化。《逻辑、语言和信息杂志》，4:5\u2013391995。”，“期刊标题”：“逻辑、语言和信息杂志”，{“key”：“21_CR3”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：”31“，“doi”：“10.1007\/3-540-45127-7_5”，“volume-title”：”RTA\u201901“，“author”：“M.Bodersky”，“year”：“2001”，“unstructured”：“Manuel Bodirsky、Katrin Erk、Alexander Koller和Joachim Niehren。Beta缩减约束。在RTA\u201901，LNCS第2051卷，第31\u201346页，2001。”}，{“key”：“21_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Manuel Bodirsky、Katrin Erk、Alexander Koller和Joachim Niehren。未明确规定的beta版本减少。ACL\u2019 01，第74\u201381页，2001年。”，“DOI”：“10.3115\/1073012.1073023”}，{“issue”：“4”，“key”：“21_CR5”，“DOI-asserted-by”：“publisher”，“first page”：“：”1998“，”非结构化“：“休伯特·科蒙（Hubert Comon）.具有成员约束的重写系统的完成.符号计算，25（4）：397\u20134531998。扩展到ICALP\u201992的一篇论文。“，”journal-title“：”Symbolic Computation“}，{”issue“：”1-2“，”key“：”21_CR6“，”first-page“：”63“，”volume“：“244”，”author“：”B.Courcelle“，”year“：”2000“，”unstructured“：”Bruno-Courcelle.图的一元二阶逻辑XIIII:带边交叉的图形绘制。计算智能，244（1-2）：63\u201394，2000.“，”journal-title“：”Computational Intelligence“}，{“key”：“21_CR7”，“doi-asserted-by”：“publisher”，“first-page”：“399”，“doi”：“10.1007”，BF00630923“，”volume“：”14“，”author“：”M.Dalrymple“，”year“：”1991“，”unstructured“：”玛丽·达尔林普、斯图亚特·希伯和费尔南多·佩雷拉。省略和高阶统一。语言学与哲学，14:399\u20134521991.”，“新闻标题”：“语言学与哲学”}，{“key”：“21_CR8”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“publisher”，“first page”：《170》，“doi”：“10.1007\/3-540-44693-1_15”，“volume-title”：《STACS 2001》，“author”：“V.Diekert”，“year”：“2001”，“unstructured”：“沃尔克·迪克特（Volker Diekert）、克劳迪奥·古特雷斯（Claudio Guterrez）和克里斯蒂安·哈格纳（Christian Hagenah）。自由群中带有理约束方程的存在性理论是伪空间完备的。在STACS 2001，LNCS 2010卷，第170\u2013182页，2001。“}，{”key“：”21_CR9“，”doi-asserted-by“：”publisher“，”first page“：“406”，“doi”：“10.1016\/S0022-0000（70）80041-1”，“volume”：“4”，“author”：“J.Doner”，“year”：“1970”，“unstructured”：“John Doner。树受体及其一些应用。《计算机系统科学杂志》，4:406\u20134511970。收稿日期：1967年12月，修订日期：1970年5月。“，“journal-title”：“journal of Computer System Science”}，{“key”：“21_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Denys Duchier and Claire Gardent.Tree descriptions，constraints and incrementality。《计算意义》，《语言学与哲学研究》第77卷，第205\u2013227页。Kluwer Academic Publishers，2001.“，”DOI“：”10.1007\/978-94-010-0572-2_12“}，{”key“：”21_CR11“，”DOI-asserted-by“：”publisher“，”first page“：“457”，“DOI”：“10.1023\/A:1017964622902”，“volume”：“10”，“author”：“M.Egg”，“year”：“2001”，“unstructured”：“马库斯·艾格（Markus Egg）、亚历山大·科勒（Alexander Koller）和约阿希姆·尼伦（Joachim Niehren）。lambda结构的约束语言。《逻辑、语言和信息》，10:457\u20134852001。“，“journal-title”：“逻辑、语言与信息”}，{“key”：“21_CR12”，“unstructured”：“Katrin Erk，Alexander Koller，and Joachim Niehren。处理lambda结构的约束语言中未指定的语义表示。语言与计算杂志，2002年。出现。“}，{”key“：”21_CR13“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：“110”，”doi“：”10.1007\/10721975_8“，”volume-title“：“RTA\u2019 00”，”author“：”K.Erk“，”year“2000”，”unstructured“：”Katrin Erk和Joachim Niehren.Parallelism constraints.In RTA\u 2019 00，LNCS第1833卷，第110页\u2013 126，2000.“}，{”键“：”21_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Alexander Koller和Joachim Niehren。关于动态语义的未指定处理。第18届国际计算语言学大会，第460\u2013466页，2000年7月10.1007\/3-540-45738-0_7“}，{“key”：“21_CR16”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：”156“，”doi“：”10.1007\/10721975_11“，”volume-title“：”RTA\u201900“，”author“：”J.Levy“，”year“：”2000“，”unstructured“：”Jordi Levy和Mateu Villaret。具有树正则约束的线性二阶统一和上下文统一。在RTA\u201900，LNCS第1833卷，第156\u2013171页，2000年。“}，{”key“：”21_CR17“，”series-title“：”Lect Notes Compute Sci“，”first page“：“167”，“volume-title”：“RTA\u 2019 01”，“author”：“J.Levy”，“year”：“2001”，“unstructured”：“Jordi Levy和Mateu Villaret。上下文统一和遍历方程。在RTA\u2019 01，LNCS第2051卷，第167\u2013184页，2001年。“}，{“key”：“21_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Mitchell P.Marcus，Donald Hindle，and Margaret M.Fleck。D-theory:谈论树木。在《第21届ACL会议录》，第129\u20131361983页。”，“doi”：“10.3115\/9811.981337”}，“{”key：“21-CR19”，“doi-asserted-by“：”crossref“，”unstructured“：”Joachim Niehren和Alexander Koller。上下文统一中的支配约束。《计算语言学的逻辑方面》（1998年），LNAI 2014卷，2001年。“，“DOI”：“10.1007\/3-540-45738-0_12”}，{“key”：“21_CR20”，“unstructured”：“Joachim Niehren和Mateu Villaret。关于lambda绑定、并行约束和上下文统一，2002年。可在http://www.ps.uni-sb.de\/Papers上查阅。“}，{”key“：”21_CR21“，”doi-asserted-by“：”publisher“，”first page“：“401”，“doi”：“10.1111\/j.1467-8640.1994.tb00005.x”，“volume”：“10”，“author”：“j.Rogers”，“year”：“1994”，“unstructured”：“j·Rogers和K·Vijay-Shanker。从它们的描述中获取树：树邻接语法的应用程序。计算智能，10:401\u20134211994。”，“，”journal-title“：”计算智能“}，{“key”：“21_CR22”，“unstructured”：“M.Schmidt-Schau\u03b2”。分层上下文统一的决策算法。技术报告F-rep.-12，FB Informatik，J.W.Goethe University\u00e4t Frankfurt，1999。“}，{“key”：“21_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Manfred Schmidt-Schau\u03b2和Klaus U.Schulz。具有两个上下文变量的上下文方程的可解性是可判定的。在CADE-16中，LNAI，第67\u201381页，1999。”，“doi”：“10.1007 \/3-540-48660-7_5“}，{“key”：“21_CR24”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“doi”：“10.1007 \/3-540-55124-7”，“volume-title”：《第一届世界方程式及相关主题研讨会论文集》，“author”：“K.U.Schulz”，“year”：“1992”，“unstructured”：“Klaus U。舒尔茨。Makani\u2019s单词方程算法——两个改进和一个推广。《第一届世界方程式及相关主题国际研讨会论文集》，LNCS第572卷，T\u00fcbingen，德国，1992年。赖特。广义有限自动机理论及其在二阶逻辑决策问题中的应用。数学系统理论，2（1）：57\u2013811967。”，“日记标题”：“数学系统理论”}]，“容器标题”：[“编程逻辑、人工智能和推理”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_21”，“内容类型”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,4,28]]，”date-time“：”2019-04-28T15:18:03Z“，”timestamp“：1556464683000}，”score“：1，”resource“：{primary“：”{“URL”：“http://link.springer.com/10.1007\/3-540-36078-6_21”}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2002]]}，“ISBN“：[”9783540000105“，”978354360780“]，”references-count“：25，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-36078-6_21“，”relation“：{}，”ISSN“：【”0302-9743“]，“ISSN-type”：[{“value”：“0302-974 3”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[2002]]}}}}