{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T19:37:02Z”，“时间戳”：1649014622113}，“引用-计数”：26，“发布者”：“斯普林格科学与商业媒体有限责任公司”，“问题”：“2”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short-container-ti tle“：[“Theory Comput Syst”]，“published-print”：{“date-parts”：[[2012,8]]}，“DOI”：“10.1007\/s00224-011-9352-5”，“type”：“journal-article”，“created”：{“date-ports”：[2011,8,3]]，“date-time”：“2011-08-03T16:47:47Z”，“timestamp”：1312390067000}，“标题”：[“用整数集上的方程表示超算术集”]，“前缀”：“10.1007”，“卷”：“51”，“作者”：[｛“给定”：“Artur”，“家族”：“Je\u017c”，“序列”：“第一”，“隶属关系”：[]｝，｛“给定”：“Alexander”，“家族”：“Okhotin”，“序列”：“附加”，“隶属关系”：[]｝]，“成员”：“297”，“在线发布”：｛“日期部分”：[[2011,8,4]]｝，“参考”：[{“key”：“9352_CR1”，“doi-asserted-by”：“crossref”，”first page“：“739”，“doi”：“10.1016\/S0049-237X（08）71120-0”，，“volume-title”：“数理逻辑手册”，“author”：“P.Aczel”，“year”：“1977”，“unstructured”：“Aczel，P.：归纳定义简介。摘自：Barwise，J.（ed.）《数理逻辑指南》，pp.u00a0739\u2013783。North-Holland，Amsterdam（1977）“}，{”issue“：”1“，”key“：”9352_CR2“，”doi-asserted-by“：”crossref“，”first page“：“55”，“doi”：“10.1016\/S0304-3975（02）00232-3”，“volume”：“293”，“author”：“F.d\u2019Alessandro”，“year”：“2003”，“unstructured”：“d_2019alessandro，F.，Sakarovitch，J.：自由群的有限幂性质。Theor计算科学293（1），55\u201382（2003）“，”新闻标题“：”Theor。计算。科学。“}，{”key“：”9352_CR3“，”series-title“：“LNCS”，“first page”：“167”，“volume-title”：“计算机科学的数学基础（MFCS 1975）”，“author”：“A.V.Anisimov”，“year”：“1975”，“unstructured”：“Anisimol，A.V.：自由组上的语言。In：计算机科学的数理基础（MFCS1975），Mari\u00e1nsk\u00e 9 L\u00e1zn\u011b，1975年9月1日\u20135。LNCS，vol.\u00a032，pp.\u000a0167\u2013171（1975）“}，{”key“：”9352_CR4“，”doi-asserted-by“：”crossref“，”first page“：“350”，”doi“：”10.1145\/32127.32132“，“volume”：“9”，“author”：“S.Ginsburg”，“year”：“1962”，“unstructured”：“Ginsbug，S.，Rice，H.G.：与ALGOL.J.ACM 9，350\u2013371（1962）“，”新闻标题“：”J.ACM“}，{“issue“：”2“，”key“：”9352_CR5“，”doi-asserted-by“：”crossref“，”first-page“：”637“，”doi“：”10.2307\/2274706“，”volume“：“56”，”author“：”J.Y.Halpern“，”year“：”1991“，”unstructured“：”Halperon，J.Y.：带一元谓词的Presburger算法是$\\varPi^{1}_{1} $完成。J.塞姆。日志。56（2），637\u2013642（1991）“，“新闻标题”：“J.Symb。日志。“}，{”issue“：”3“，”key“：”9352_CR6“，”doi-asserted-by“：”crossref“，”first-page“：”597“，”doi“：”10.1142\/S012905410800584X“，”volume“：“19”，”author“：”A.Je\u017c“，”year“：”2008“，”unstructured“：”Je\u07c，A.：连接文法可以生成非正则的一元语言。Int.J.Found.Comput.Sci.19（3），597\u2013615（2008）“，”杂志标题“：”国际期刊。已找到。计算。科学。“}，{”issue“：”1“，”key“：”9352_CR7“，”doi-asserted-by“：”crossref“，”first-page“：”27“，”doi“：”10.1007\/s00224-008-9139-5“，”volume“：“46”，”author“：”A.Je\u017c“，”year“：”2010“，”unstructured“：”Je\u07c，A.，Okhotin，A.：一元字母表上的连接文法：不可判定性和无限增长。理论计算系统46（1），27\u201358（2010）“，”journal-title“：”理论计算。系统。“}，{”issue“：”2“，”key“：”9352_CR8“，”doi-asserted-by“：”crossref“，”first-page“：”319“，”doi“：”10.1007\/s00224-009-9246-y“，”volume“：“48”，”author“：”A.Je\u017c“，”year“：”2011“，”unstructured“：”Je\u07c，A.，Okhotin，A.：自然数集上方程的复杂性。理论计算系统48（2），319\u2013342（2011年）“，”新闻标题“：”理论计算。系统。“}，{”key“：”9352_CR9“，”series-title“：”LNCS“，”doi-asserted-by“：”crossref“，”first-page“：”63“，”doi“：”10.1007\/978-3-540-70583-3_6“，”volume-title“：“第35届国际自动化、语言和编程学术讨论会（ICALP 2008）”，“author”：“A.Je\u017c”，“year”：“2008”，“unstructured”：“”Je\u017c，A.，Okhotin，A.：关于自然数集上方程的计算完备性。参加：第35届自动化、语言和编程国际学术讨论会（ICALP 2008），冰岛雷克雅未克，201311年7月7日。LNCS，vol.\u00a05126，pp.\u000a063\u201374（2008）“}，{”key“：”9352_CR10“，”first page“：“577”，”volume-title“：”STACS 2009“，”author“：”A.Je\u017c“，”year“：”2009“，“unstructured”：“Je\u07c，A.，Okhotin，A.：仅含加法的自然数集上的方程。摘自：STACS 2009，德国弗莱堡，26\u201328 2009年2月，pp.\ u00a00577\u2013588（2009）“}，{”issue“：”2“，”key“：”9352_CR11“，”doi-asserted-by“：”crossref“，”first-page“：”319“，”doi“：”10.1007\/s00224-011-9319-6“，”volume“：“49”，”author“：”A.Je\u017c“，”year“：”2011“，”unstructured“：”Je\u07c，A.，Okhotin，A.：一元字母表上的一元连接文法。理论计算。系统。49（2），319\u2013342（2011）“，“新闻标题”：“理论计算”。系统。“}，{”key“：”9352_CR12“，”series-title“：”LNCS“，”doi-asserted-by“：”crossref“，”first-page“：”441“，”doi“：”10.1007\/978-3642-15155-2_39“，”volume-title“：“计算机科学数学基础（MFCS 2010）”，”author“：”A.Je\u017c“，”year“：”2010“，”unstructured“：”Je\u017c，A.，Okhotin，A.：整数集上方程的最小和最大解。摘自：《计算机科学数学基础》（MFCS 2010），捷克共和国布尔诺，2013年8月23日至27日。LNCS，vol.\u00a06281，pp.\u000a0441\u2013452（2010）“}，{“issue”：“4”，“key”：“9352_CR13”，“doi-asserted-by”：“crossref”，“first page”：”521“，“doi”：“10.1007”\/s00224-006-1321-z“，”volume：“40”，“author”：“M.Kunc”，“year”：“2007”，“unstructured”：“Kunc，M.：有限词集交换的力量。理论计算系统.40（4），521\u2013551（2007）“，”期刊标题“：”理论计算。系统。“｝，｛”key“：”9352_CR14“，”series title“：”LNCS“，”doi asserted by“：”crossref“，”首页“：”23“，”doi“：”10.1007\/978-3-540-73208-2_3“，”volume title“：”语言理论的发展（DLT 2007）“，”author“：”M.Kunc“，”year“：”2007“，”非结构化“：”Kunc，M.:我们对语言方程了解多少？in：语言理论的发展（DLT 2007）芬兰图尔库，2013年7月3日，2007年。LNCS，vol.\u00a04588，pp.\u000a023\u201327（2007）“}，{“issue”：“2”，“key”：“9352_CR15”，“doi-asserted-by”：“crossref”，“first page”：”377“，“doi”：“10.1142”\/S01290541100809X“，”volume“：”22“，”author“：”T.Lehtinen“，”year“：”2011“，”，“unstructured”：”Lehtiner，T.，Okhotin，A.：关于数字集及其方程限制。国际期刊发现计算科学22（2），377\u2013393（2011）“，”期刊标题“：”国际期刊发现。计算。科学。“}，{”key“：”9352_CR16“，”series-title“：”LNCS“，”doi-asserted-by“：”crossref“，”first-page“：”291“，”doi“：”10.1007\/978-3642-14455-4_27“，”volume-title“：“语言理论的发展（DLT 2010）”，“author”：“T.Lehtinen”，“year”：“2010”，“unstructured”：“Lehtinen，T.，Okhotin，A.：关于一元字母表上的语言方程XXK=XXL和XM=N。摘自：《语言理论发展》（DLT 2010），加拿大安大略省伦敦市，2013年8月17日至20日。LNCS，vol.\u00a06224，pp.\u000a0291\u2013302（2010）“}，{”issue“：”3“，”key“：”9352_CR17“，”doi-asserted-by“：”crossref“，”first page“：“211”，“doi”：“10.1007\/s00037-007-0229-6”，“volume”：“16”，“author”：“P.McKenzie”，“year”：“2007”，“unstructured”：“McKenzie，P.，Wagner，K.：自然数集上电路的隶属度问题的复杂性。计算。复杂。16（3），211\u2013244（2007）“，“新闻标题”：“计算。复杂。“}，{”key“：”9352_CR18“，”volume-title“：”抽象结构的初等归纳法“，”author“：”Y.Moschovakis“，”year“：”1974“，”unstructured“：”Moschovagis，Y.：“：”Abstract Structures的初等概括法“。North-Holland，Amsterdam（1974）”}，“issue”：“4”，“key”：”9352 _CR19“，”first page“519”，“volume”：“6”，“author”：“A.Okhotin”，“year”：“2001”，“unstructure”：“”Okhotin，A.：连接语法。J.汽车。语言梳。6（4），519\u2013535（2001）“，“新闻标题”：“J.Autom。语言梳。“}，{”issue“：”3“，”key“：”9352_CR20“，”doi-asserted-by“：”crossref“，”first-page“：”283“，“doi”：“10.1016\/j.tcs.2005.07.038”，“volume”：“349”，“author”：“A.Okhotin”，“year”：“2005”，“unstructured”：“Okhoting，A.：未解决的语言方程系统：表达能力和决策问题。Theor.Compute.Sci.349（3），283\u2013308（2005）”，“日志标题”：“西奥。计算。科学。“}，{”issue“：”4“，”key“：”9352_CR21“，”首页“：”563“，”volume“：“74”，”author“：”A.Okhotin“，”year“：”2006“，”unstructured“：”Okhotin，A.：一元语言方程中的计算普适性。Fundam.Inform.74（4），563\u2013578（2006）“，”journal-title“：”Fundam.Inform.“}asserted-by“：”crossref“，”首页“：”251“，”DOI“：”10.1016\/j.jcss.2009.08.002“，”卷“：”76“，”作者“：”A.Okhotin“，”年份“：”2010“，”非结构化“：”Okhotine，A.：语言方程的决策问题。J.计算。系统。科学。76（3\u20134），251\u2013266（2010）“，“期刊标题”：“J.Compute。系统。科学。“}，{”key“：”9352_CR23“，”series-title“：”IFIP“，”doi-asserted-by“：”crossref“，”first-page“：”215“，”doi“：”10.1007\/978-0-387-09680-3_15“，“volume-title”：“IFIP国际理论计算机科学会议（TCS 2008）”，“author”：“A.Okhotin”，“year”：“2008”，“unstructured”：“”Okhotin，A.，Rondogiannis，P.：关于一元方程对自然数集的表达能力。参加：IFIP国际理论计算机科学会议（TCS 2008），意大利米兰，201310年9月8日。IFIP，vol.\u00a0273，pp.\u000a0215\u2013227（2008）“}，{“issue”：“3”，“key”：“9352_CR24”，“doi-asserted-by”：“crossref”，“first-page”：“325”，“doi”：“10.2307\/2270774”，“volume”：”32“，“author”：“J.Robinson”，“year”：“1967”，“unstructured”：“Robinson，J.：超算术函数简介。J.Symbl.Log.32（3），325\u2013343 2（1967）“，“新闻标题”：“J。符号。日志。“}，{”key“：”9352_CR25“，”volume-title“：”递归函数理论和有效计算性“，”author“：”H.Rogers Jr.“，”year“：”1967“，”unstructured“：”Rogers，H.，Jr.：“递归函数理论与有效计算性。McGraw-Hill，New York（1967）”}，}，“issue”：“1\u20133”，“key”：“9352_CR16”，“doi-asserted-by”：“crossref”，“first page”：”211“DOI“：”10.1016\/j.tcs.2006.08.017“，”volume“：”369“，”author“：”S.D.Travers“，”year“：”2006“，”unstructured“：”Travers，S.D.：整数集上电路隶属度问题的复杂性。西奥。计算。科学。369（1\u20133），211\u2013229（2006）“，“新闻标题”：“Theor。计算。科学。“}]，”container-title“：[”计算系统理论“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://www.springerlink.com\/index\/pdf\/10.1007\/s00224-011-9352-5“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]”，“deposed”：{“date-parts”：[2017,6,20]]，“date-time”：“2017-06-20T00:09:42Z“，”timestamp“：1497917382000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/s00224-011-9352-5”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2011,8,4]]}，‘references-count’：26，‘journal-issue’：{‘issue’：“2”，“published-print”：{“日期部分”：[[2012,8]]}}，“alternative-id”：[“9352”]，“URL”：“http:\/\/dx.doi.org\/10.1007\/s00224-011-9352-5“，”关系“：{}，”ISSN“：[”1432-4350“，”1433-0490“]，”ISSN-type“：[{”值“：”1432-4300“，”类型“：”打印“}，{”价值“：”433-0490