{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,11]]，“日期时间”：“2024-04-11T04:40:14Z”，“时间戳”：1712810414120}，“出版商位置”：“柏林，海德堡”，“参考计数”：64，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642642494”，“类型”：“打印”}，{“值”：“9783642600852”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[1999]]｝，“DOI”：“10.1007\/978-3-642-60085-2_3”，“type”：“book chapter”，“created”：｛“date parts”：[[2011,9,8]]，“date time”：“2011-09-08T11:03:26Z”，“timestamp”：1315479806000｝，“page”：“53-71”，“来源”：“Crossref”，“is-referenced-by-count”：4，“title”：[“Concurrent Logic\/Constraint Programming:The Next 10 Years”]，“prefix”：“10.1007”，”author“：[{”given“：”Kazunori“，”family“：”Ueda“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[{'s“issue”：“4”，“key”：“3_CR1”，，“内政部”：“10.1017\/S09567968800000186”，“volume”：“1”，“author”：“M Abadi”，“year”：“1991”，“unstructured”：“Abadi，M.，Cardelli，L.，Curien，P.-L.和L\u00e9vy，J.-J.，Explicit substitutions.《函数编程》，第1卷，第4期（1991），第375\u2013416页。”，“journal title”：“J.Functional Programming”}，{“key”：我“：“10.7551\/mitpress\/1086.001.0001”，“volume-title”：“参与者：分布式系统中并发计算模型”，“author”：“GA Agha”，“year”：“1986”，“unstructured”：“Agha，G.A.，参与者：分布式系统中并发计算的模型。麻省理工学院出版社，马萨诸塞州坎布里奇，1986。”}，{“key”：“3_CR3”，“doi-asserted-by”：“publisher”，“first-page”：“40”，“DOI”：“10.1007\/3-540-49481-2_5”，“volume-title”：“In Proc.Fourth Int.Conf.on Principles and Practice of Constraint Programming（CP98）”，“author”：“Y Ajiro”，“year”：“1998”，“unstructured”：“Ajiro，Y.，Ueda，K.和Cho，LNCS 1520，施普林格出版社，柏林，1998年，第40\u201354.页Ban\u00e2tre，J.-P.和Le M\u00e 9tayer，D.，《GAMMA模型及其编程学科》。《计算机编程科学》，第15卷，第1期（1990年），第55\u201377页。“，“期刊标题”：“计算机编程科学”}，{“key”：“3_CR5”，“首页”：“98”，“volume-title”：“证明并发约束程序正确。第21届ACM SIGPLAN-SIGACT程序设计语言原理交响曲的一致记录”，“author”：“FS Boer de”，“year”：“1994”，“非结构化“：”de Boer，F.S.，Gabbrielli，M.，Marchiori，E.和Palamidessi，C.，《证明并发约束程序正确》。InConf公司。第21届ACM SIGPLAN-SIGACT交响曲记录。《程序设计语言原理》，ACM出版社，1994年，第98\u2013108页。“}，{”key“：”3_CR6“，”doi-asserted-by“：”publisher“，”first page“：“140”，”doi“：”10.1007\/BFb0053547“，”volume-title“：”In Foundations of Software Science and Computational Structures“，”author“：”L Cardelli“，”year“：”1998“，”unstructured“：”Cardelli，L.和Gordon，A。D.移动环境。《软件科学与计算结构基础》，莫里斯·尼瓦特（编辑），LNCS 1378，柏林斯普林格-Verlag出版社，1998年，第140\u2013155页。“}，{“key”：“3_CR7”，“volume-title”：“并行编程导论”，“author”：“KM Chandy”，“year”：“1992”，“unstructured”：“Chandy，K。M.和Taylor，S.，《并行编程导论》。Jones and Bartlett，Boston，1992.“}，{”key“：”3_CR8“，”doi-asserted-by“：”crossref“，”first-page“：”281“，”doi“：”10.7551\/mitpress\/2087.003.0016“，”volume-title“：”并发面向对象编程研究方向“，”author“：”KM Chandy“，”year“：”1993“，”unstructured“：”Chandy，K。M.和Kesselman，C.，CC++：一种声明性并发面向对象编程符号。《并行面向对象编程研究方向》，Agha，G.、Wegner，P.和Yonezawa，A.（编辑），麻省理工学院出版社，马萨诸塞州剑桥，1993年，第281\u2013313页Chikayama，T.和Kimura，Y.，《扁平GHC中的多重参考管理》。InProc.公司。第四届逻辑编程国际会议（ICLP\u201987），麻省理工学院出版社，马萨诸塞州剑桥，1987年，第276\u2013293页Chikayama，T.、Sato，H.和Miyazaki，T.，《并行推理机操作系统（PIMOS）概述》。InProc.公司。1988年第五代计算机系统国际会议，ICOT，东京，1988年，第230\u2013251页。InProc.公司。1992年第五代计算机系统国际会议，Ohmsha和IOS出版社，东京，1992年，第73\u201388页。“}，{“key”：“3_CR12”，“doi-asserted-by”：“crossref”，“首页”：“25”，“doi”：“10.1007\/3-540-58402-1_4”，“volume-title”：“In Proc.6th Int.Symp.on Programming Language Implementation and Logic Programmination（PLILP\u201994）”，“author”：“T Chikayama”年”：“1994年”，“非结构化”：“Chikayama，T.，Fujise，T.和Sekita，D.，KL1的可移植高效实现。InProc.公司。第六国际交响乐团。关于编程语言实现和逻辑编程（PLILP\u201994），LNCS 844，Springer-Verlag，Berlin，1994年，第25\u201339页1996年”，“非结构化”：“Cho，K.和Ueda，K.，《诊断非细胞模型并发逻辑程序》，InProc。1996年国际会议和交响乐联合会。《逻辑编程》（JICSLP\u201996），麻省理工学院出版社，马萨诸塞州剑桥，1996年，第215\u2013229页。.语言。系统。，第8卷，第1期（1986年），第1\u201349页。”，“新闻标题”：“ACM。事务处理。掠夺。Lang.Syst“}，{”key“：”3_CR15“，”first page“：“497”，”volume-title“：”In Proc.1989 North American Conf.on Logic Programming（.NACLP\u201989）“，”author“：”I Foster“，”year“：”1989“，”unstructured“：”Foster，I.and Taylor，S.，Strand:a Practical Parallel Programmingy Tool。InProc.1989北美逻辑编程Conf麻省理工学院出版社，马萨诸塞州坎布里奇，1989年，第497\u2013512页第一页“：”406“，”volume-title“：”In Proc。第七届国际并发理论会议（CONCUR\u201996）”，“作者”：“C Fournet”，“年份”：“1996”，“非结构化”：“Fournet，C.，Gonthier，G.L\u00e9vy，J.-J.，Maranget，L.和R\u00e9my，D.，移动代理微积分。InProc.公司。第七届并行理论国际会议（CONCUR\u201996），LNCS 1119，Springer-Verlag，柏林，1996，第406\u2013421页。“}，{“问题”：“1\u20133”，“关键”：“3_CR18”，“doi-asserted-by”：“出版商”，“首页”：“95”，“doi”：“10.1016\/S0743-1066（98）10005-5”，“卷”：“37”，“作者”：“T Fr\u00fchwirth”，“年份”：“1998”，“非结构化”：“Fr\u00fchworth，T.，《约束处理规则的理论与实践》。《逻辑编程》，第37卷，第1期，20133（1998），第95\u2013138页Fujita，H.和Hasegawa，R.，KL1中使用Ramified Stack算法的模型生成定理证明。InProc.公司。第八届逻辑编程国际会议（ICLP\u201991），麻省理工学院出版社，马萨诸塞州剑桥，1991年，第535\u2013548页Fujita，M.，Slaney，J.和Bennett，F.，有限代数中某些结果的自动生成。InProc.公司。第13届国际人工智能联合会议（IJCAI\u201993），1993年，第52\u201357页Haridi，S.、Van Roy，P.、Brand，P.和Schulte，C.，《分布式应用程序编程语言》。新一代计算，第16卷，第3期（1998年），第223\u2013261页。“，“期刊标题”：“新一代计算机”}，{“key”：“3_CR22”，“首页”：“132”，“volume-title”：“并行定理证明程序及其应用。《1992年第五代计算机系统国际会议程序》，“author”：“R Hasegawa”，”year“1992”，“unstructured”：“Hasegawa，R.和Fujita，M.，并行定理证明程序及其应用。InProc.公司。1992年第五代计算机系统国际会议，Ohmsha和IOS出版社，东京，1992年，第132\u2013154页非结构化”：“Hirata，K.，Yamamoto，R.，Imai，A.，Kawai，H.，Hirano，K.，Takagi，T.，Taki，K.，Nakase，A.和Rokusawa，K.，并行逻辑编程语言KL1的并行和分布式实现。InProc.公司。《第五代计算机系统国际会议1992》，Ohmsha和IOS出版社，东京，1992年，第436\u2013459页第一页“：”257“，”volume-title“：”在Multi-PSI上的平面GHC的分布式实现。程序中。第四届逻辑编程国际会议（ICLP\u201987）”，“作者”：“N Ichiyoshi”，“年份”：“1987”，“非结构化”：“Ichiyosh N.，Miyazaki T.和Taki，K.，《在多芯片上实现平面GHC的分布式方法》。InProc.公司。第四届逻辑编程国际会议（ICLP\u201987），麻省理工学院出版社，马萨诸塞州剑桥，1987年，第257\u2013275页Janson，S.和Haridi，S.，《安道尔内核语言编程范例》。InProc.公司。1991年国际逻辑程序设计研讨会。（ILPS\u201991），麻省理工学院出版社，马萨诸塞州坎布里奇，1991年，第167\u2013183页。可视化语言与计算，第7卷，第2期（1996年），第197\u2013217页Maher，M.J.，《一类承诺选择程序的逻辑语义》。InProc.公司。第四届逻辑编程国际会议（ICLP\u201987），麻省理工学院出版社，马萨诸塞州剑桥，1987年，第858\u2013876页doi-asserted-by“：”publisher“，”first-page“：”1“，”doi“：”10.1016\/0890-5401（92）90008-4“，”volume“：”100“，”author“：”R Milner“，”year“：”1992“，”unstructured“：”Milner，R.，Parrow，J.和Walker，D.，A Calculus of Mobile Processes，I+II。《信息与计算》，第100卷，第1期（1992年），第1\u201377页Milner，R.，《相互作用的微积分》。《信息学报》，第33卷，第8期（1996年），第707\u2013737页。“，“新闻标题”：“信息学报”}，{“key”：“3_CR32”，“doi-asserted-by”：“publisher”，“first page”：《245》，“doi”：“10.1007”，卷：“13”，“author”：“S Muggleton”，“year”：“1995”，“unstructured”：“Maggleton，S.，Inverse Entailment and Progol.New Generation Computing，第13卷（1995）），pp.245\u2013286.“，”journal-title“：”New Generation Computing“}，{”key“：”3_CR33“，”first page“：“73”，“volume-title”：“Prolog.in Proc.1985 Symp.on Logic Programming（SL\u201985）”，“author”：“L Naish”，“year”：“1985”，“unstructured”：“L·奈什。Prolog中的所有解决方案谓词。InProc公司。1985年交响乐。关于逻辑编程（SL\u201985），IEEE，1985年，第73\u201377页。程序中。第六届国际逻辑编程会议（ICLP\u201989）”，“作者”：“K NakajimaM”，“年份”：“1989”，“非结构化”：“Nakajima K.，Inamura Y.，Rokusawa K.，Ichiyoshi N.和Chikayama，T.，《KL1在Multi-PSI\/V2上的分布式实现》。InProc.公司。第六届国际逻辑编程会议（ICLP\u201989），麻省理工学院出版社，马萨诸塞州剑桥，1989年，第436\u2013451页Nitta，K.、Taki，K.和Ichiyoshi，N.，《实验并行推理软件》。InProc.公司。1992年第五代计算机系统国际会议，Ohmsha和IOS出版社，东京，1992年，第166\u201319页“}，{“key”：“3_CR36”，“first-page”：“386”，“volume-title”：“异步信息流理论的基础”，“author”：“CA Petri”，“year”：“1962”，“unstructured”：“佩特里，C.A。，异步信息流理论基础。InProc.公司。IFIP第62届大会，北荷兰公社。Co.，Amsterdam，1962年，第386\u2013390页。D.和Yang，R.，《安道尔I：一个透明地利用与或并行性的并行Prolog系统》。InProc.公司。第三届ACM SIGPLAN研讨会。《并行编程的原理与实践》（PPoPP\u201991），SIGPLAN通知，第26卷，第7期（1991年），第83\u201393页。A.和Rinard，M.，并发约束编程（扩展抽象）。第十七届ACM年度交响乐团InConf记录。《程序设计语言原理》，ACM出版社，1990年，第232\u2013245页。A.，Kahn，K.和Levy，J.，Janus:迈向分布式约束编程的一步。InProc.公司。1990年北美逻辑程序设计会议（NACLP\u201990），麻省理工学院出版社，马萨诸塞州剑桥，1990年，第431_2013446页。C.和Panangaden，P.，并发约束编程的语义基础。InConf公司。第十八届ACM年度交响曲唱片。《程序设计语言原理》，ACM出版社，1991年，第333\u2013352页。“}，{”issue“：“6”，”key“：“3_CR41”，”doi-asserted-by“：”publisher“，”first page“：”605“，”doi“：”10.1016\/S0747-7171（89）80064-1“，”volume“：：”8“，”author“：”T Sato“，”year“：”1989“，”unstructured“：”Sato，T.和Tamaki，H.，《一阶编译器：确定性逻辑程序综合算法》。《符号计算》，第8卷，第6期（1989年），第605\u2013627页。“，“期刊标题”：“符号计算”}，{“问题”：“8”，“关键”：“3_CR42”，“doi-asserted-by”：“crossref”，“首页”：“44”，“doi”：“10.1109\/MC.1986.1663307”，“卷”：“19”，“作者”：“EY Shapiro”，“年份”：“1986”，“非结构化”：“Shapiro，E。Y.，Concurrent Prolog:进度报告。IEEE Computer，第19卷，第8期（1986年），第44\u201358页Shapiro，E.，《并发逻辑编程语言家族》。ACM计算调查，第21卷，第3期（1989年），第413\u2013510页。K.、Kowalski、R。A.、Furukawa，K.、Ueda，K.，Kahn，K.M.、Chikayama，T.和Tick，E.，《第五代项目：个人视角》。通信ACM，第36卷，第3期（1993年），第46\u2013103页。“，“日记标题”：“通信ACM”}，{“key”：“3_CR45”，“首页”：“505”，“volume-title”：“高阶并发约束编程的封装搜索。1994年国际逻辑编程交响乐会（ILPS\u201994）”，“author”：“C Schulte”，“year”：“1994”，“unstructured”：“Schulte，C.和Smolka，G.，高阶并发约束编程的封装搜索。InProc.公司。1994年国际逻辑编程研讨会。（ILPS\u201994），麻省理工学院出版社，马萨诸塞州坎布里奇，1994年，第505\u2013520页。“}，{”key“：”3_CR46“，”doi-asserted-by“：”publisher“，”first page“：“324”，”doi“：”10.1007\/BFb0015252“，”volume-title“：”In Computer Science Today“，”author“：”G Smolka“，”year“：”1995“，”unstructured“：”Smolka，G.，The Oz Programming Model。《今日计算机科学》，van Leeuven，J.（编辑），LNCS 1000，Springer-Verlag，Berlin，1995年，第324\u2013343页。《逻辑编程》，第29卷，第1期，20133（1996），第17页，201364。J.逻辑编程“}，{“key”：“3_CR48”，“first-page”：“50”，“volume-title”：“并行推理机PIM.In Proc.Int.Conf on Fifth Generation Computer Systems 1992”，“author”：“K Taki”，“year”：“1992”，《非结构化》：“Taki，K。，并行推理机PIM。程序中。《第五代计算机系统国际会议1992》，Ohmsha和IOS出版社，东京，1992年，第50\u201372页。《逻辑编程》，第23卷，第2期（1995年），第89\u2013123页。“，“期刊标题”：“J.Logic Programming”}，{“key”：“3_CR50”，“first page”：《76》，“volume-title”：“在可视化并行数据流编程环境中支持设计模式”，“author”：“M Toyoda”，“year”：“1997”，“unstructured”：“Toyoda，M.、Shizuki，B.、Takahashi，S.、Matsuoka，S.和Shibayama，E.，《可视化并行数据流编程环境中的支持设计模式》。InProc.公司。IEEE交响乐。关于视觉语言，IEEE，1997年，第76\u201383页。“}，{”key“：”3_CR51“，”first page“：“168”，”volume-title“：”ICOT Tech.Report TR-103，ICOT“，”author“：”K Ueda“，”year“：”1985“，”unstructured“：”Ueda，K.，Guarded Horn Clauses“。同样在《逻辑编程》（Logic Programming）\u201985，Wada，E.（ed.），LNCS 221，Springer-Verlag，Berlin，1986年，第168\u2013179页K.上田。和Chikayama，T.，《Prolog之上的并发Prolog编译器》。InProc公司。1985年交响乐。关于逻辑编程（SLP\u201985），IEEE，1985年，第119\u2013126页。“}，{“键”：“3_CR53”，“首页”：“270”，“卷-标题”：“使穷尽搜索程序确定”，“作者”：“K Ueda”，“年份”：“1986”，“非结构化”：“Ueda，K.使穷尽查询程序确定。在《逻辑编程第三国际会议论文集》（ICLP\u2011986）中，LNCS 225，Springer-Verlag，柏林，1986年，第270\u2013282页。新一代计算的修订版，第5卷，第1期（1987年），第29\u201344页Ueda，K.和Furukawa，K.，《GHC项目的转换规则》。InProc.公司。1988年第五代计算机系统国际会议，ICOT，东京，1988年，第582\u2013591页。“}，{”key“：”3_CR55“，”first page“：“957”，”volume-title“：”Parallelism in Logic Programming in Information Processing 89“，”author“：”K Ueda“，”year“：”1989“，”unstructured“：”韩国上田。，逻辑编程中的并行性。InInformation Processing 89，程序。IFIP第十一届世界计算机大会，北荷兰，1989年，第957\u2013964页。“}，{”key“：”3_CR56“，”first page“：“441”，“volume-title”：“Also in Programming of Future Generation Computers”，“author”：“K Ueda”，“year”：“1986”，“unstructured”：“Ueda，K.，Guarded Horn子句：一种具有Guard概念的并行逻辑编程语言。ICOT Tech。报告TR-208，ICOT，东京，1986年。同样在《未来一代计算机编程》中，Nivat，M.和Fuchi，K.（编辑），阿姆斯特丹北霍兰德，1988年，第441\u2013456页。T·卡亚马。并行推理机内核语言的设计。《计算机杂志》，第33卷，第6期（1990年），第494\u2013500页K.上田。和Morita，M.，《扁平GHC的新实现技术》。InProc.公司。第七届逻辑编程国际会议（ICLP\u201990），麻省理工学院出版社，马萨诸塞州剑桥，1990年，第3\u201317页。新一代计算[61]中的修订版本。“}，{”key“：”3_CR59“，”first-page“：”87“，”volume-title“：”Designing a Concurrent Programming Language“，”author“：”K Ueda“，”year“：”1990“，”unstructured“：”Ueda，K.，Designing a Concurrent-Programming Language。InProc.Info-Japan\u201990，日本信息处理学会，东京，1990，第87\u201394页。“}doi由“：”publisher“，”first page“：”323“，”doi“：”10.1007\/BF003037181“，”volume“：”11“，”author“：”K Ueda“，”year“：”1993“，”unstructured“：”Ueda，K.and Morita，M.，面向消息的现代扁平GHC并行实现。新一代计算，第11卷，第3期，20134（1993），第323\u2013341页。“，“期刊标题”：“新一代计算机”}，{“问题”：“1”，“关键字”：“3_CR61”，“doi-asserted-by”：“publisher”，“首页”：“3”，“doi”：“10.1007\/BF03038307”，“卷”：“13”，“作者”：“K Ueda”，“年份”：“1994”，“非结构化”：“Ueda，K.和Morita，M.，Moded Flat GHC及其面向消息的实现技术。新一代计算，第13卷，第1期（1994年），第3\u201343页韩国上田。，用于数据并行编程的模式扁平GHC。InProc.公司。FGCS\u201994并行逻辑编程研讨会，ICOT，东京，1994年，第27\u201335页Ueda，K.，《并发逻辑/约束编程强修改的经验》。InProc.公司。并行符号语言和系统国际研讨会（PSLS\u201995），LNCS 1068，Springer-Verlag，柏林，1996，第134\u2013153页链接“：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-642-60085-2_3.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[[2024,4,11]]，“date-time”：“2024-04-11T04:27:56Z”，“timestamp”：1712809676000}，“score”：1，“resource”：{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-642-60085-2_3“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[1999]]}，“ISBN”：[“9783642642494”，”9783642600852“]，”引用计数“：64，”URL“http://\/dx.doi.org\/10.1007\/9783-642-60085-23”，“关系”：{}，，“ISSN”：[“1431-0066”]，“ISSN-type”：[{“value”：“1431-0046”，“type”:“print”}]，“subject”：[]，“发布了“：{“date-parts”：[[1999]]}}}