{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,1]]，“日期-时间”：“2022-04-01T20:45:45:42Z”，“时间戳”：1648845942730}，“引用-计数”：39，“出版商”：“爱思唯尔BV”，“问题”：“1-3”，“许可证”：[{“开始”：{-“日期-零件”：[2004,12]]，“时间”：”2004-12-01T00:00:00Z“，”时间戳“：1101859200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：3150，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2004,12]]}，”DOI“：”10.1016\/j.apal.2003.12.006“，”type“：”journal-article“，”created“：{”date-part“：[[2004，8,5]]，”date-time“：”2004-08-05T11:25:56Z“，”timestamp“：1091705156000}”，“page”：“125-171”，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“确定类Algol语言观测等价性的方法”]，“前缀”：“10.1016”，“卷”：“130”，“作者”：[{“给定”：“C.-H.L.”，“家族”：“Ong”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“78”，“引用”：[}“key”：“101016\/j.apal.2003.12.006_B1”，“系列时间”：“证明和系统可靠性”，“首页”：“21”，“article-title”：“算法游戏语义：教程简介”，“author”：“Abramsky”，“year”：“2001”}，{“key”：“10.1016\/j.apal.2003.12.006_B2”，“series-title”：《IEEE计算机科学逻辑研讨会论文集》，1998年，“artice-title“：”通用参考的完全抽象游戏语义“，“author”：“Abramsky“，”年：“1998”}，｛“key”：“10.1016\/j.apal.2003.12.006B3”，“doi断言者”：“crossref”，“doi”：“10.1006\/inco.2000.2930”，“文章标题”：“PCF的完全抽象”，“卷”：“163”，“作者”：“Abramsky”，“年份”：“2000”，“期刊标题”：“信息与计算”｝，｛“key”：“10.1016\/j.apal.2003.12.006B4”，“系列标题”：“类Algol语言”，“文章标题”：“线性、共享和状态：具有主动表达式的理想化Algol的完全抽象游戏语义”，“author”：“Abramsky”，“year”：“1997”}，{“key”：“10.1016\/j.apal.2003.12.006_B5”，“series-title”：“Model Checking”，“author”:“Clarke”，“year”:“1999”}：“第十一届IEEE计算机科学逻辑研讨会论文集”，“article-title”：“游戏语义和抽象机器”，“author”：“Danos”，“year”：“1996”}，{“key”：“10.1016\/j.apal.2003.12.006_B7”，“series-title”：：“Hoare-style正确性语句的正规语言模型”，“author”：“Ghica”，“year”：“2001”}，{“key”：“10.1016\/j.apal.2003.12.006_B8”，“series-title”：“Proc.17th Conf.Mathematical Foundations of Programming Semantics”，“article-title”：”call-by-value编程语言的正规语言语义“，”author“：”Ghica“，”year“：”2001“}”，{”key“：“10.1016\/j.apal.2003.12.006_B9”，“series-title”：“第27届国际自动化学术讨论会论文集，语言与编程，ICALP 2000”，“首页”：“103”，“article-title”：《使用正则语言推理理想化的算法》，“volume”：“vol.1853”，“author”：“Ghica”，“year”：“2000”}，{“key”：，“doi-asserted-by”：“crossref”，“first page”：“620”，“doi”：“10.1016\/S0019-9958（66）80019-0”，《article-title》：“确定性上下文无关语言”，“author”：“Ginsberg”，“year”：“1966”，“journal-title”：“Information and Control”}，{“key”：”10.1016\/j.apal.2003.12.006_B11“，”doi-assert-by“crossrex”，“首页”：“353”，“doi”：“10.1016\/0304-3975（94）00172-F”，“article-title”：“符号双模拟”，“volume”：“138”，“author”：“Hennessy”，“year”：“1995”，“journal-title“：”理论计算机科学“}，{“key”：”10.1016\/j.apal.2003.12.006_B12“，”series-title“：“计算的语义和逻辑”，“first page”：：“10.1016\/j.apal.2003.12.006_B13”，“doi-asserted-by”：“crossref”，“first page”：“285”，“doi”：“10.1006\/inco.2000.2917”，“article-title”：“关于PCF的完全抽象：I.模型、可观察项和完全抽象问题，II.对话游戏和天真策略，III.完全抽象和通用的游戏模型”，“volume”：”163“author”：“Hyland”，“year”：“2000”，“journal-title”：“信息与计算”}，{“key”：“10.1016\/j.apal.2003.12.006_B14”，“doi-asserted-by”：“crossref”，“first-page”：“312”，“doi”：“101145\/322063.322074”：“计算机协会杂志”}，{“key”：“10.1016\/j.apal.2003.12.006_B15”，“series-title”：“自动化与可计算性”，“author”：“Kozen”，“year”：“1997”}、{“key”：”10.1016\/j.apal.2003.12.06_B16“，“unstructured”：“j.Laird，控制的语义分析，爱丁堡大学博士论文，1998”}：“10.1016\/j.apal.2003.12.006_B17”，“非结构化”：“R.S.Lazi\u0107，数据相关性的语义研究及其在模型检查中的应用，牛津大学博士论文，1999”}，{“key”：“10.116\/j-apal.2003.12.006_B18”，“doi-asserted-by”：“crossref”，“first page”：”342“doi”：“101016\/S0304-3975（00）00194-8”，”article-title“：“Finitary PCF is not decitable”，“volume”：“266”，“author”：“Loader”，“year”：“2001”，“journal-title”：“Theory Computer Science”}，{“key”：”10.1016\/j.apal.2003.12.006_B19“，“series-title”：”BCS Distinguished Dissertation“，”article-title“：”递归类型的游戏“，”author“：”McCusker“，”year“：”1998“}”，{”key“：”10.116\/j-apal.2003.12.006_B20“，“非结构化”：“G.McCusker，关于没有坏变量构造函数的理想化算法的语义，技术报告01\/01，SOCS，苏塞克斯大学，2001”｝，｛“key”：“10.1016\/j.apal.2003.12.006B21”，“series title”：“计算：有限和无限机器”，“author”：“Minsky”，“year”：“1967”｝，｛“key”：“10.1016\/j.apal.2003.12.006B22”，“系列标题”：“第18届IEEE计算机科学逻辑年会论文集，LICS\u201903”，“第一页”：“108”，“文章标题”：“关于具有基本类型引用的语言中的程序等价性”，“作者”：“Murawski”，“年份”：“2003”}，｛“key”：“10.1016\/j.apal.2003.12.006B23”，“非结构化”：“j。Myhill，有限自动机和事件表示，技术报告WADD 57-624，Wright Patterson AFB，代顿，俄亥俄州，1957年年份：“1958年”，“期刊标题”：“美国数学学会学报”}，{“key”：“10.1016\/j.apal.2003.12.006_B25”，“article-title”：“对象、继承和Yoneda嵌入”，“卷”：“1”，“author”：“O\u2019Hearn”，“year”：“1995”，“journal-title“理论计算机科学中的电子笔记”}10.1016\/j.apal.2003.12.006_B26“，”doi-asserted-by“：”crossref“，”first page“：”658“，”doi“：”10.1145\/210346.210425“，”article-title“：”参数和局部变量“，”volume“：“42”，“author”：“O\u2019Hearn”，“year”：“1995”，“journal-title”：“Jornal of the ACM”}，{“key”：“10.1016\/j.apal.2003.12.06_B27”，“series-title”“：”第22届软件技术与理论计算机科学基础会议论文集”，“第一页”：“33”，“文章标题”：“使用游戏语义的类算法语言模型检查（特邀论文）”，“卷”：“第2556卷”，“作者”：“Ong”，“年份”：“2002”}，{“key”：“10.1016\/j.apal.2003.12.006_B28”，“series-title”：“IEEE计算机科学逻辑研讨会论文集”，“首页”：“245”，“文章标题”：“三阶理想化藻类的观测等价性是可判定的”，“作者”：“Ong”，“年份”：“2002”}，{“键”：“10.1016\/j.apal.2003.12.006_B29”，“doi-asserted-by”：“crossref”，“第一页”：实时严格确定性语言的等价问题”，“卷”：“45”，“作者”：“Oyamaguchi”，“年份”：“1980”，“日志标题”：“信息与控制”}，{“键”：“10.1016\/j.apal.2003.12.006_B30”，“非结构化”：“A.M。Pitts，《操作语义和程序等价性》，技术报告，INRIA Sophia Antipolis，2000年，国际应用语义暑期学校讲座，APPSEM 2000，葡萄牙米尼霍州卡米尼亚，2013年9月15日，2000年“}，{“key”：“10.1016\/j.apal.2003.12.006_B31”，“series-title”：“语义中的高阶操作技术”首页“：”227“，”article-title“：”局部状态函数的运算推理“，”author“：”Pitts“，”year“：”1998“}，{“key”：“10.1016\/j.apal.2003.12.006_B32”，”doi-asserted-by“：”crossref“，”first page“：”233“，”doi“：”10.1016\/0304-3975（77）90044-5“，”article-title“：”LCF作为编程语言“，”volume“：“5”，“author”：“Plotkin”，“年份“：”1977“，”journal-title“：“理论计算机科学”}，{“key”：“10.1016\/j.apal.2003.12.006_B33”，“series-title”：“算法语言”，“首页”：“345”，“文章标题”：“Algol的本质”，“作者”：“雷诺兹”，“年份”：“1978”}016\/0304-3975（93）90095-B“，”article-title“：”cuch、iswim和owhy的一种理论替代品“，”volume“：”121“，”author“：”Scott“，”year“：”1993“，”journal-title”：“理论计算机科学”}，{“key”：“10.1016\/j.apal.2003.12.006_B35”，“doi-asserted-by”：“crossref”，“first-pages”：“1”，“doi”：“101016\/S0304-3975（00）00285-1”，“article-title”“：”L（A）=L（B）？完全形式系统的可判定性”，“volume”：“251”，“author”：“S\u00e9nizergues”，“year”：“2001”，“journal-title”：“Theory Computer Science”}，{“issue”：“1”，”key“：”10.1016\/j.apal.2003.12.006_B36“，”doi-asserted-by“：”crossref“，”first page“：“77”，“doi”：“10.1007\/BF01806033”，“article-title“：”Categorial models for local names“，”volume“：9“，”author“：”Stark“，”year“：”1996“，”journal-title“：”Lisp and Symbolic Computation“}，{”key“：”10.1016\/j.apal.2003.12.006_B37“，”doi-asserted-by“：”crossref“，“first page”：“1”，“doi”：“10.1016\/S0304-3975（00）00389-3”，“article-title”：“DPDA等价性的判定”，“volume”：《255》，“author”：“Stirling”，“year”：“2001”，“日志标题“：”理论计算机科学“}，{“key”：“10.1016\/j.apal.2003.12.006_B38”，“series-tile”：“Proc.ICALP\u201902”，“article-title”：“判定DPDA等价性是原始递归的”，“author”：“Stirling”，“year”：“2002”}，}“key”：。斯特林，实时严格确定性语言等价性的决策程序，2002（预印本）“}”，“container-title”：[“Pure and Applied Logic年鉴”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007204000636？httpAccept=text\/xml”，“content-type”：“text\/.xml”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007204000636？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2019,2,4]]，“date-time”：”2019-02-04T22:2727:08Z“，”timestamp“：1549319228000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0168007204000636“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{date-parts“：[[2004,12]]}，‘references-count’：39，‘journal-issue’：{‘issue’：‘1-3’，‘published-print’：{date-parts’：[[2004，12]}2]]}}，“alternative-id”：[“S0168007204000636”]，“URL”：“http:\/\/dx.doi.org\/10.1016\/j.apal.2003.12.006“，”关系“：{}，”ISSN“：[”0168-0072“]，”ISSN-type“：[{”值“：”0168-0072“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[[2004,12]]}}}}