{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,31]]，“日期-时间”：“2022-03-31T19:1:22Z”，“时间戳”：1648753882697}，“参考-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“4”，“许可证”：[{“开始”：{:“日期-零件”：[[2015,6]]，“2015-06-16T00:00:00Z”，“时间戳”：1434412800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,5]}”，“abstract”：“”领域理论国际研讨会（ISDT）是一个系列会议，旨在为领域理论及其应用的研究人员提供一个论坛。主题包括域的拓扑和逻辑方面；域和powerdomain的类别；连续偏序集及其表示；偏序、格理论和度量空间；类型、进程代数和并发；非经典和部分逻辑；编程语言语义；计算机科学和数学的应用。本系列会议由刘英明、陈一香、克劳斯·凯梅尔和张国强创办。所有ISDT活动都在中国举行。第一届ISDT于1999年10月17日\u201324日在上海举行；第二届ISDT于2001年10月22日\u201326日在成都举行；第三次ISDT于2004年5月10日在中国西安发生；第四届ISDT于2013年6月2日在长沙举行；第五届ISDT于2009年9月11日\u201314日在上海举行。ace“]，”前缀“：”10.1017“，”卷：“27”，“作者”：[{“给定”：“ACHIM”，“家族”：“JUNG”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“郭强”，“家庭”：“张”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“56”，“在线发布”：{“日期部分”：[[2015,6,16]}]，“语言”：“en”，“链接”：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000249“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,4,18]]，”date-time“：“2019-04-18T00:03:44Z”，“timestamp”：1555545824000}，“score”：1，“resource”：{“主要”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000249 \/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期parts”：[[2015,6]]}，”references-count“：0，”journal-issue“：{”issue“：“4”，“published-print”：{“日期part”：[2017,5]]}}、“alternative-id”：[“S090129515000 249“]，”URL“：”http:\/\/dx.doi.org\/10.1017\/s0960129515000249“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”值“：”09601295“，”类型“：”打印“}，{”价值“：”1469-80 72“，”类别“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2015,6]]}}}}