{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部分”:[[2024,9,7]],“日期-时间”:“2024-09-07T21:41:41Z”,“时间戳”:1725745301944},“出版商位置”:“美国纽约州纽约市”,“引用-计数”:39,“出版者”:“ACM”,“内容-域”:“域”:[”dl.ACM.org“],“交叉标记-striction“:true},”short-container-title“(限制):[],“published-print”:{“date-parts”:[[2014,7,14]]},“DOI”:“10.1145\/2603088.2603102”,“type”:“proceedings-article”,“created”:{“date-parts”:[2014,7,28]],“date-time”:“2014-07-28T13:21:45Z”,“timestamp”:140655375000},”page“:”1-10“update-policy”:”http://\/dx.DOI.org\/10.1145\/crossmark-policy“,”source“:”Crossref“,”is-referenced-by-count“:0,”title“:[“布朗运动和一般连续随机过程的区域理论方法”],“前缀”:“10.1145”,“卷”:“3”,“作者”:[{“给定”:“保罗”,“家族”:“比洛肯”,“序列”:“第一”,“从属关系”:[[{名称”:“伦敦帝国理工学院”}]},{“已知”:“阿巴斯”,“家庭”:“Edalat”,“顺序”:“附加”,“附属关系”:[{“名称”:“伦敦帝国理工学院”}]}],“成员”:“320”,“在线发布”:{“日期部分”:[[2014,7,14]]},“参考”:[{“密钥”:“e_1_3_2_1_1_1”,“首页”:“641”,“卷时间”:“计算机科学逻辑手册(第三卷)”,“作者”:“Abramsky Samson”,“年份”:“1994”,“非结构化”:“Samson Abramsky和Achim Jung。领域理论。《计算机科学逻辑手册》(第3卷),第641-761页。牛津大学出版社,1994年。Samson Abram sky和Achim Jung.领域理论。牛津大学出版社,1994年。“},{”doi-asserted-by“:”publisher“,”key“:”e_1_3_2_1_1“,“doi”:“10.1112\/S0024610700008681”},“doi-assert-by”:“publisher”,“key”:“e_1_ 3_2_1_3_1”,”doi“:”10.1090\/S0025-5718-1973-0329205-7“}”,{“10.1017\/S0960129513000157”},{“doi-asserted-by”:“publisher”,“key“:”e_1_3_2_1_5_1“,”DOI“:”10.1016\/0304-3975(95)00050-7“},{”DOI-asserted-by“:”publisher“,“key”:“e_1_ 3_2_1 _6_1”,“DOI”:“10.5555\/788017.788770”},“DOI-assert-by”:“publisher”,”key“”:“e_1_3_2_7_1”“,”key“:”e_1_3_2_1_8_1“,”DOI“:”10.2307\/421098“},{”DOI-asserted-by“:”publisher“,“key”:“e_1_3_2_1_9_1“,“DOI”:“10.1017\/S0960129597002338”},{“DOI-asserted-by”:“publisher”,“key”:“e_1_ 3_2_1_10_1”,”DOI“:”10.1016\/j.ic.2008.05.003“},”DOI-assert-by“:”publisher“,“年份”:“1998年”,“作者”:“Erker Thomas”,“非结构化”:“托马斯·埃尔克、马特·埃斯卡德和克劳斯·凯梅尔。语义域上函数空间关系的方式。拓扑及其应用,89(1-2):61-741998年11月。托马斯·埃尔克、马特·埃斯卡德和克劳斯·凯梅尔。语义域上函数空间的路-流关系。拓扑及其应用,89(1--2):61-741998年11月。“,”key“:”e_1_3_2_12_1“},”doi-asserted-by“:”publisher“,”key“:“e_1_ 3_2_13_1”,”doi“:”10.2307\/2586546“}”,{“doi-assert-by”:“publisher”,“key”:“e_ 1_3_2 _14_1”、“doi”:“10.1006\/aima.2000.1945”},,“key”:“e_1_3_2_15_1”,“doi”:“10.1007\/978-1-4615-6574-1”},{“volume-title“:“连续格和域。《数学及其应用百科全书》第93位,“年份”:“2003年”,“作者”:“吉尔兹·格哈德”,“非结构化”:“格哈德·格哈兹、K.H.霍夫曼、K.凯梅尔、J.D.劳森、M.米斯洛夫和D.S.斯科特。连续格和域。《数学百科全书》第93号及其应用。剑桥大学出版社,2003年。Gerhard Gierz、K.H.Hofmann、K.Keimel、J.D.Lawson、M.Mislove和D.S.Scott。连续格和域。数学及其应用百科全书第93号。剑桥大学出版社,2003年。“,”key“:”e_1_3_2_1_16_1“},”{“key”:“e_1_3_2_17_1”,“首页”:“229”,“article-title”:“hausdorff空间中集成的域理论方法”,“卷”:“3”,“作者”:“Howroyd J.D.”,“年份”:“2000”,“非结构化”:“J.D。霍罗伊德。在hausdorff空间中集成的领域理论方法。伦敦数学学会计算与数学杂志,3:229--2732000年8月。J.D.霍罗伊德。在hausdorff空间中集成的领域理论方法。伦敦数学学会计算与数学杂志,3:229--2732000年8月。“,”Journal-title“:”London Mathematical Society Journal of Computation and Mathematics“},{”doi-asserted-by“:”publisher“,”key“:”e_1_3_2_1_19_1“,“doi”:“10.5555\/7350.77370”},“key”:“e_1_ 3_2_1_20_1”,“doi-assert-by”:“crossref”,”doi“:”10.1142\/p821“,”“volume-title”:“随机微积分应用简介”,“author”:“Klebaner Fima C.”,“year”:“2012”,“unstructured”:“Fima C.Klebane。随机微积分及其应用导论。帝国理工学院出版社,2012年第3版。菲玛·C·克莱班纳。随机微积分及其应用导论。帝国理工学院出版社,2012年第3版。“},{”doi-asserted-by“:”publisher“,”key“:”e_1_3_2_1_21_1“,”doi“:”10.1070\/RM1963v018n01ABEH004126“}”,{“doi-assert-by”:“publisher”,“key”:“e_1_ 3_2_1_2 2_1”,“doi”:“10.1111\/j.1467-9965.1992.tb00033.x”},}“doi-asserted-by”:”publister“,”key“:“e_ 3_2_2”_1_23_1“,”doi“:”10.1016\/S0166-8641(97)00152-1“},{“doi-asserted-by“:”publisher“,”key“:”e_1_3_2_1_24_1“,“doi”:“10.1017\/S0960129597002363”},{“doi-assert-by”:“publisher”,“key”:“e_1_a_2_1_25_1”,”doi“:”10.1017\/S090129504004372“},“volume-title”:“Processus stosaniques et movement brownen”,“year”:“1965”,“author”:“L\u00e9vy Paul”,《非结构化》:“”Paul L\u00e9vy。随机过程与运动褐变。巴黎,戈蒂尔·维拉斯,第2版,1965年。保罗·L\u00e9vy。随机过程与运动褐变。Paris,Gauthier-Villars,第2版,1965年。“,”key“:”e_1_3_2_1_26_1“},”doi-asserted-by“:”publisher“,”密钥“:”e_1_3_2_1_27_1“,“doi”:“10.1016\/j.jmaa.2010.04.040”},{“volume-title”:“第六届国际可计算性和分析复杂性会议(CCA 2009)”,“year”:“2009”,“author”:“Mori Takakazu”,“unstructured”:“森喜朗(Takakazu Mori)、筑井义塾(Yoshiki Tsujii)和安山美子(Mariko Yasugi)。概率分布和分布函数的可计算性。2009年第六届国际可计算性和分析复杂性会议(CCA 2009)。森喜朗(Takakazu Mori)、筑井义塾(Yoshiki Tsujii)和安山美子(Mariko Yasugi)。概率分布和分布函数的可计算性。在第六届国际分析可计算性和复杂性会议(CCA 2009)上,2009年。“,“key”:“e_1_3_2_1_28_1”},{“key”:“e_1_3_2_29_1”,“系列标题”:“剑桥统计与概率数学系列”,“卷标题”:“布朗运动”,“作者”:“M\u00f6rters Peter”,“年份”:“2010”,“非结构化”:“Peter M\u00f6rters和Yuval Peres。布朗运动。剑桥统计与概率数学系列。剑桥大学出版社,2010年。Peter M\u00f6rters和Yuval Peres。布朗运动。剑桥统计与概率数学系列。剑桥大学出版社,2010.“},{“volume-title”:“随机微分方程:应用简介。Universitext”,“year”:“2000”,“author”:“\u00d8ksendal Brent”,“unstructured”:“布伦特\u00d8ksendal。随机微分方程:应用简介。Universitext公司。斯普林格,2000年。布伦特\u00d8ksendal。随机微分方程:应用简介。Universitext公司。Springer,2000.“,”key“:”e_1_3_2_1_30_1“},{”volume-title“:”Wiener integral.Encyclopedia of Math.org\/index.php?title=Wiener_integral&oldid=17004“,”author“:”V.I.“,”unstructured“:”V I.Sobolev(发起者).Wiener interegral.Encyclopetia of Math。URL:http:/\\/www.encyclopediaofmath.org\/index.php?title=Wiener_integral&oldid=17004。V.I.Sobolev(发起人)。维纳积分。数学百科全书。网址:http://www.encyclopediaofmath.org\/index.php?title=Wiener_integral&oldid=17004.“,”key“:”e_1_3_2_1_31_1“},”doi-asserted-by“:”publisher“,”密钥“:”e_1_3_2_1_32_1“,”doi“:”10.1090\/S0002-9947-1983-0682717-1“}”,{“volume-title”:“第四届普林斯顿信息科学与系统年会论文集”,“年份”:“1970”,”author“:”Scott Dana Stewart“,”unstructured“:”达娜·斯图尔特·斯科特。数学计算理论概述。1970年普林斯顿第四届信息科学与系统年会论文集。达娜·斯图尔特·斯科特。计算的数学理论大纲。《第四届普林斯顿信息科学与系统年会论文集》,1970年,“key”:“e_1_3_2_1_33_1”},{“volume-title”:“函数积分与量子物理”,“year”:“2005”,“author”:“Simon Barry”,“unstructured”:“巴里·西蒙。函数积分与量子物理。AMS切尔西出版社,2005年第2版。巴里·西蒙。函数积分与量子物理。AMS Chelsea Publishing,2005年第2版。“,”key“:”e_1_3_2_1_34_1“},”doi-asserted-by“:”publisher“,”密钥“:”e_1_3_2_1_35_1“,“doi”:“10.5555\/64625685688”},{“key”:“e_1_ 3_2_1_1_36_1”,“series-title”:“EATCS系列”,“doi-assert-by”:“crossref”,”doi“:”10.1007\/978-3642-56999-9“”,“volume-title“:”可计算分析:简介。理论计算机科学中的文本”,“作者”:“Weihrauch Klaus”,“年份”:“2000年”,“非结构化”:“Klaus Weihrouch”。可计算分析:简介。理论计算机科学文本,EATCS系列。施普林格-弗拉格-柏林-海德堡,2000年。克劳斯·维赫劳赫(Klaus Weihrauch)。可计算分析:简介。理论计算机科学课文,EATCS系列。Springer-Verlag-Berlin-Heidelberg,2000年。“},{”doi-asserted-by“:”publisher“,”key“:”e_1_3_2_1_37_1“,“doi”:“10.1002\/sapm192321131”},“doi-assert-by”:“publisher”,“key”:“e_1_a_2_1_38_1”,”doi“:”10.1002\/malq.20051008“}”,{\/s00153-005-0315-x“},{”doi-asserted-by“:”publisher“,”key“:”e_1_3_2_1_40_1“,”DOI“:”10.1109\/ICICIC.2007.365“}],”event“:{”赞助商“:[”SIGLOG ACM逻辑与计算特别兴趣小组“,”EACSL欧洲计算机科学逻辑协会“,”IEEE-CS\\DATC IEEE计算机学会“,”SIGACT ACM算法与计算理论特别兴趣小组”“],”缩写词“:”CSL-LICS“14”,”名称“:”CSL-LICS’14:第二十三届EACSL计算机科学逻辑年会联席会议”,“地点”:“维也纳-奥地利”},“容器标题”:[“第二十三届EACSL计算机科学逻辑年会(CSL)联席会议和第二十九届ACM\/IEEE计算机科学逻辑年会(LICS)会议记录”]original-title“:[],”link“:[{”URL“:”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603102“,”content-type“:”unspecified“,”content-version“:”vor“,”intended-application“:”similarity-checking“}],”deposed“:{”date-parts“:[2023,1,8]],”date-time“:“2023-01-08T19:04:39Z”,“timestamp”:1673204679000},“score”:1,“资源“:{“primary”:{”URL“:”https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603102“}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[[2014,7,14]]},“引用计数”:39,”替代id“:[”10.1145\/26030.88.2603102“,”10.1145\/2603088“],”URL“:”http://\/dx.doi.org\/10.1145 \/26030088.260302“,”关系“:{},“subject”:[],“published”:{“date-parts”:[[2014,7,14]]},“assertion”:[{value“:”2014-07-14“,“order”:2,“name”:“published”,“label”:“published”,“group”:{“name”:“publication_history”,“label”:“publication history”}}]}