Lybech,斯蒂安 反射式高阶微积分:可编码性、可类型性和分离性。 (英语) Zbl 07825550号 Inf.计算。 297,文章ID 105138,33 p.(2024).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lybech},Inf.计算。297,文章ID 105138,33 p.(2024;Zbl 07825550) 全文: 内政部
罗布·范格拉贝克 在具有超时的进程代数中建模互斥。 (英语) Zbl 07742410号 Inf.计算。 294,文章ID 105079,36 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,36 p.(2023;Zbl 07742410) 全文: 内政部 arXiv公司
冯、袁;李三江 量子程序的抽象解释、霍尔逻辑和不正确逻辑。 (英语) Zbl 07742408号 Inf.计算。 294,文章ID 105077,22 p.(2023).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}和\textit{S.Li},Inf.Comput。294,文章ID 105077,22 p.(2023;Zbl 07742408) 全文: 内政部 arXiv公司
何康利;吴,衡阳;陈一翔 关于发散敏感的弱概率双相似性。 (英语) Zbl 07687220号 Inf.计算。 292,文章ID 105033,15 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.He}等人,《信息计算》。292,文章ID 105033,15 p.(2023;Zbl 07687220) 全文: 内政部
朱莉娅·艾森特罗;Edon Kelmendi;简·Křetínsk;马克西米利安·威宁格 简单随机对策的值迭代:停止准则和学习算法。 (英语) Zbl 1507.91016号 Inf.计算。 285,B部分,文章ID 104886,32 p.(2022).MSC公司:91A15型 91A68型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisentraut}等人,《信息计算》。285,B部分,文章ID 104886,32 p.(2022;Zbl 1507.91016) 全文: 内政部 arXiv公司
普洛塔萨,维奥雷尔;尤利亚德拉戈米尔;斯塔夫罗斯·特里帕基斯 反应系统的精化演算。 (英语) Zbl 1487.68160号 Inf.计算。 285,B部分,文章ID 104819,43页(2022).MSC公司:60年第68季度 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,《信息计算》。285,B部分,文章ID 104819,43 p.(2022;Zbl 1487.68160) 全文: 内政部 arXiv公司
波琳娜·帕拉波尼亚里;拉霍尼斯,乔治 加权命题配置逻辑:具有定量特征的体系结构的规范语言。 (英语) Zbl 1483.68088号 Inf.计算。 282,文章ID 104647,18 p.(2022).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Paraponiari}和\textit{G.Rahonis},Inf.计算。282,文章ID 104647,18 p.(2022;Zbl 1483.68088) 全文: 内政部 arXiv公司
弗洛里安·布鲁斯;马丁·兰格 带有递归的时态逻辑。 (英语) Zbl 1522.03045号 Inf.计算。 281,文章ID 104804,18 p.(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格},Inf.计算。281,文章ID 104804,18 p.(2021;Zbl 1522.03045) 全文: 内政部
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼 网络物理系统的概率演算。 (英语) Zbl 1497.68346号 Inf.计算。 279,文章ID 104618,30 p.(2021).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,《信息计算》。279,文章ID 104618,30 p.(2021;Zbl 1497.68346) 全文: 内政部 arXiv公司
大卫·布雷索林;伊万·拉内斯 静态和动态属性提供更新。 (英语) Zbl 1497.68251号 Inf.计算。 279,文章ID 104611,第24页(2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{I.Lanese},Inf.Comput。279,文章ID 104611,24 p.(2021;Zbl 1497.68251) 全文: 内政部 哈尔
贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) Zbl 1475.68145号 Inf.计算。 277,文章ID 104580,15 p.(2021).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部 哈尔
安娜·贝基;埃纳州扎法内拉 PPLite:NNC多面体的零覆盖编码。 (英语) Zbl 1496.68351号 Inf.计算。 275,文章ID 104620,37 p.(2020).MSC公司:68单位05 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Becchi}和\textit{E.Zaffanella},Inf.Comput。275,文章ID 104620,37 p.(2020;Zbl 1496.68351) 全文: 内政部
田,春;戴维·桑吉奥吉 收缩、CCS及其HOL形式化的独特解决方案。 (英语) Zbl 1496.68250号 Inf.计算。 275,文章ID 104606,第33页(2020).MSC公司:68问题85 68伏15 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{D.Sangiorgi},信息计算。275,文章ID 104606,33 p.(2020;Zbl 1496.68250) 全文: 内政部 arXiv公司
奇亚拉博迪;琳达·布罗多;罗伯托·布鲁尼 这个链接-开放多方交互的微积分。 (英语) Zbl 1496.68218号 Inf.计算。 275,文章ID 104587,38 p.(2020).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Inf.计算。275,文章ID 104587,38页(2020;兹bl 1496.68218) 全文: 内政部
克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 参数马尔可夫链:PCTL复杂性和无分数高斯消去。 (英语) Zbl 1443.68101号 Inf.计算。 272,文章ID 104504,26 p.(2020).MSC公司:60年第68季度 03B44号 60J10型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。272,文章ID 104504,26 p.(2020;Zbl 1443.68101) 全文: 内政部 arXiv公司
蒋建民;朱慧彪;李,秦;赵永新;张、石;龚萍;洪,钟 基于事件的功能分解。 (英语) Zbl 1435.68062号 Inf.计算。 271,文章ID 104484,22 p.(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Jiang}等人,《信息计算》。271,文章ID 104484,22 p.(2020;Zbl 1435.68062) 全文: 内政部
Wan Fokkink公司;罗布·范格拉贝克;巴斯·卢提克 分而治之。三: 从模态公式的分解到稳定性和发散性的保持。 (英语) Zbl 1430.68162号 Inf.计算。 268,文章ID 104435,31 p.(2019).MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《信息计算》。268,文章ID 104435,31 p.(2019;Zbl 1430.68162) 全文: 内政部 arXiv公司 链接
瓦伦蒂娜·卡斯蒂格利奥尼;西蒙·蒂尼 非确定概率转移系统分支度量的逻辑特征。 (英语) 兹比尔1430.68161 Inf.计算。 268,文章ID 104432,40 p.(2019).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}和\textit{S.Tini},Inf.Compute。268,文章ID 104432,40 p.(2019;Zbl 1430.68161) 全文: 内政部
John McCabe-Dansted先生;克莱尔·迪克森;法语,蒂姆;马克·雷诺兹 鲁棒性分支时间逻辑的子逻辑。 (英语) Zbl 1436.03125号 Inf.计算。 266, 126-160 (2019).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}等人,《信息计算》。266126-160(2019年;Zbl 1436.03125) 全文: 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;约翰·舒斯特;安德烈亚·图里尼;张丽君 对概率和马尔可夫自动机的最小商的追求。 (英语) Zbl 1400.68132号 Inf.计算。 262,第1部分,162-186(2018).MSC公司:68问题85 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人,《信息计算》。262,第1部分,162--186(2018;Zbl 1400.68132) 全文: 内政部
马蒂杰斯·瓦卡;拉德哈·贾加迪桑;萨姆森·艾布拉姆斯基 依赖类型的游戏语义。 (英语) 兹比尔1395.68183 Inf.计算。 261,第2部分,401-431(2018).MSC公司:68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Vákár}等人,《Inf.Compute》。261,第2部分,401-431(2018;Zbl 1395.68183) 全文: 内政部 链接
法默,威廉·M。 将引用和评价纳入教会的类型理论。 (英语) Zbl 1390.68168号 Inf.计算。 260, 9-50 (2018).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},信息计算。260,9-50(2018;Zbl 1390.68168) 全文: 内政部 arXiv公司
迭戈·卡尔瓦内斯;朱塞佩·德·贾科莫;马可·蒙塔利;法比奥·帕特里齐 一般转换系统上的一阶演算及其在情形演算中的应用。 (英语) Zbl 1390.68462号 Inf.计算。 259,第3部分,328-347(2018).MSC公司:68问题85 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,《信息计算》。259,第3部分,328--347(2018;Zbl 1390.68462) 全文: 内政部
拉诺特、拉格罗;马西莫·梅罗 物联网的语义理论。 (英语) Zbl 1388.68013号 Inf.计算。 259,第1部分,72-101(2018).MSC公司:68英里11 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{M.Merro},Inf.Compute。259,第1部分,72--101(2018;Zbl 1388.68013) 全文: 内政部 arXiv公司
宋,傅 使用堆栈操作分析下推系统。 (英语) Zbl 1388.68187号 Inf.计算。 259,第1部分,41-71(2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Song},信息计算。259,第1部分,41--71(2018;Zbl 1388.68187) 全文: 内政部
瓦西里欧斯·库塔瓦斯;马西耶·加兹达;马修·轩尼诗 区分通信事务。 (英语) Zbl 1388.68198号 Inf.计算。 259,第1部分,1-30(2018).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Koutavas}等人,《信息计算》。259,第1部分,1-30(2018;Zbl 1388.68198) 全文: 内政部 arXiv公司
迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 处理无限分支结构良好的转换系统。 (英语) Zbl 1383.68054号 Inf.计算。 258, 28-49 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,信息计算。258、28-49(2018;Zbl 1383.68054) 全文: 内政部
马西莫·贝内雷切蒂;马可·费拉 跟踪线性混合系统中的平滑轨迹。 (英语) Zbl 1381.93019号 Inf.计算。 257, 114-138 (2017).MSC公司:93个B03 93立方厘米05 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{M.Faella},Inf.Compute。257114--138(2017;Zbl 1381.93019) 全文: 内政部
邓玉欣;冯、袁 概率双相似度作为测试等效性。 (英语) Zbl 1380.68293号 Inf.计算。 257, 58-64 (2017).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Feng},Inf.Comput。257、58--64(2017年;Zbl 1380.68293) 全文: 内政部
崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 一些非正则语言类的信息率:自动机理论方法。 (英语) Zbl 1376.68086号 Inf.计算。 256, 45-61 (2017).MSC公司:65年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{C.Cui}等人,《信息计算》。256、45-61(2017年;Zbl 1376.68086) 全文: 内政部
杨建南;曹永志;王汉平 概率系统中的差异隐私。 (英语) Zbl 1370.68081号 Inf.计算。 254,第1部分,84-104(2017).MSC公司:68第25页 03B70号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,《信息计算》。254,第1部分,84--104(2017;Zbl 1370.68081) 全文: 内政部
卢卡·博托卢西 马尔可夫人口模型的混合行为。 (英语) Zbl 1336.68177号 Inf.计算。 247, 37-86 (2016).MSC公司:68问题85 60J25型 60年28日 87年第68季度 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi},Inf.计算。247、37-86(2016;Zbl 1336.68177) 全文: 内政部 arXiv公司
崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 某些自动机类的执行信息速率。 (英语) 兹比尔1333.68161 Inf.计算。 246, 20-29 (2016).MSC公司:65年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{C.Cui}等人,《信息计算》。246、20--29(2016年;Zbl 1333.68161) 全文: 内政部
尤金·亚萨林;尼古拉斯·巴塞特;奥尔德里克·德戈尔 正则时间语言的熵。 (英语) Zbl 1309.68114号 Inf.计算。 241, 142-176 (2015).MSC公司:65年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,《信息计算》。241142--176(2015;Zbl 1309.68114) 全文: 内政部
瓦实提·加尔平 生物PEPA的混合语义。 (英语) Zbl 1300.68035号 Inf.计算。 236, 122-145 (2014).MSC公司:68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Galpin},Inf.计算。236122-145(2014;Zbl 1300.68035) 全文: 内政部
奥坎桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014).MSC公司:65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部 链接
谢尔盖·冈查洛夫;卢茨·施罗德 异步副作用过程的共推演算。 (英语) Zbl 1358.68212号 Inf.计算。 231, 204-232 (2013).MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}和\textit{L.Schröder},Inf.Compute。231204--232(2013;Zbl 1358.68212) 全文: 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司:68问题55 03B70号 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},信息计算。231,38-69(2013年;兹bl 1435.68188) 全文: 内政部
何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特;萨米人Zhioua 通过强化学习测试概率等效性。 (英语) Zbl 1358.68187号 Inf.计算。 227, 21-57 (2013).MSC公司:60年第68季度 2010年第68季度 87年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。227、21-57(2013年;Zbl 1358.68187) 全文: 内政部
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) 兹比尔1358.68210 Inf.计算。 225, 29-82 (2013).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013;Zbl 1358.68210) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;吉·斯尔巴 EXPTIME-对模态转换系统进行彻底细化的完整性。 (英语) Zbl 1282.68118号 Inf.计算。 218, 54-68 (2012).MSC公司:2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,信息计算。218、54-68(2012年;Zbl 1282.68118) 全文: 内政部
费尔南多·罗莎·维拉尔多;Maria Martos-Salgado 用于验证具有名称绑定的深度边界进程的多集重写。 (英语) Zbl 1277.68204号 Inf.计算。 215, 68-87 (2012).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{M.Martos-Algado},Inf.Compute。21568--87(2012;Zbl 1277.68204) 全文: 内政部
罗伯特·巴格纳拉;弗雷德·梅斯纳德;安德烈亚·佩切蒂;埃纳州扎法内拉 线性排序函数自动合成的新观点。 (英语) Zbl 1251.68073号 Inf.计算。 215, 47-67 (2012).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,《信息计算》。215、47-67(2012;Zbl 1251.68073) 全文: 内政部
Michael Leuschel先生;玛丽莎·略伦斯;哈维尔·奥利弗;乔塞普·席尔瓦;萨尔瓦多塔马利特 显式同步语言的静态切片。 (英语) Zbl 1253.68246号 Inf.计算。 214, 10-46 (2012).MSC公司:68问题85 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}等人,《信息计算》。214,10-46(2012年;兹比尔1253.68246) 全文: 内政部
亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;简·拉特 定量Kleene煤。 (英语) Zbl 1227.68075号 Inf.计算。 209,第5期,822-849(2011). 审核人:卢茨·施罗德(不来梅) MSC公司:70年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}等人,《信息计算》。209,第5号,822--849(2011;Zbl 1227.68075) 全文: 内政部 链接
克莱门斯·库普克;简·拉特 整套合作。 (英语) Zbl 1209.68161号 Inf.计算。 208,第12期,1398-1420(2010).MSC公司:68第05页 16 T15段 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}和\textit{J.Rutten},Inf.Compute。208,第12号,1398--1420(2010;Zbl 1209.68161) 全文: 内政部 链接
文森佐·西安西亚;乌戈·蒙塔纳里 对称性、本地名称和名称的动态(去)分配。 (英语) Zbl 1207.68223号 Inf.计算。 208,第12期,1349-1367(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}和\textit{U.Montanari},Inf.Compute。208,第12号,1349--1367(2010;Zbl 1207.68223) 全文: 内政部
詹乃军;米拉·卡德巴姆少校 关于分级发展的反应系统。 (英语) Zbl 1197.93080号 Inf.计算。 208,第9期,997-1019(2010).MSC公司:93亿B51 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{M.Majster-Cederbaum},Inf.Compute。208,第9号,997--1019(2010;Zbl 1197.93080) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 分子动力学的线程演算。 (英语) Zbl 1197.68046号 Inf.计算。 208,第7期,817-844(2010).MSC公司:2005年第68季度 2010年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},信息计算。208,编号7,817--844(2010;Zbl 1197.68046) 全文: 内政部 arXiv公司
默多克·J·加贝。;多米尼克·P·穆里根。 柯里·霍华德(Curry-Howard),针对使用一级半项的不完全一阶逻辑推导。 (英语) Zbl 1186.68102号 Inf.计算。 208,第3期,230-258(2010);更正同上,212、119(2012)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{D.P.Mulligan},Inf.Compute。208,第3号,230--258(2010;Zbl 1186.68102) 全文: 内政部
默多克·J·加贝。;圣埃芬伦格兰 lambda-context演算(扩展版本)。 (英语) Zbl 1192.68137号 Inf.计算。 207,第12期,1369-1400(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{S.Lengrand},Inf.Compute。207,第12号,1369--1400(2009;Zbl 1192.68137) 全文: 内政部
巴托克·克林 结构操作语义中的双代数方法和模态逻辑。 (英语) Zbl 1165.68043号 Inf.计算。 207,第2期,237-257(2009).MSC公司:68问题55 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin},信息计算。207,第2号,237--257(2009;Zbl 1165.68043) 全文: 内政部
马塞洛·菲奥雷;萨姆·斯塔顿 用于名称传递进程计算的同余规则格式。 (英语) Zbl 1165.68050号 Inf.计算。 207,第2期,209-236(2009).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiore}和\textit{S.Staton},Inf.Compute。207,第2号,209--236(2009;Zbl 1165.68050) 全文: 内政部
戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 (Bi)模拟可描述流程语义。 (英语) Zbl 1165.68054号 Inf.计算。 207,编号2146-170(2009).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez},Inf.Compute。207,第2号,146--170(2009;Zbl 1165.68054) 全文: 内政部
伊雷克·乌利多夫斯基;袁,Shoji 为OSOS过程语言生成优先级重写系统。 (英语) Zbl 1165.68037号 Inf.计算。 207,第2期,第120-145页(2009年).MSC公司:2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Ulidowski}和\textit{S.Yuen},Inf.Compute。207,第2号,120--145(2009;Zbl 1165.68037) 全文: 内政部
托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 递归马尔可夫决策过程中的可达性。 (英语) Zbl 1145.91011号 Inf.计算。 206,编号520-537(2008). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:91A15型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,《信息计算》。206,第5号,520--537(2008;Zbl 1145.91011) 全文: 内政部
托马斯·桑顿 在细化下保持概率信息流。 (英语) Zbl 1146.68401号 Inf.计算。 206,编号2-4,213-249(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Santen},信息计算。206,编号2--4,213--249(2008;Zbl 1146.68401) 全文: 内政部
冯、袁;段润耀;纪正峰;英明生 量子过程的概率互模拟。 (英语) Zbl 1130.68079号 Inf.计算。 205,第11期,1608-1639(2007).MSC公司:68问题85 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,《信息计算》。205,第11号,1608--1639(2007;Zbl 1130.68079) 全文: 内政部 链接
洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 全局计算微积分的基本观察值。 (英语) Zbl 1119.68124号 Inf.计算。 205,第10期,1491-1525(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,信息计算。205,第10号,1491--1525(2007;Zbl 1119.68124) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 概率时间自动机的符号模型检验。 (英语) 兹比尔1122.68075 Inf.计算。 205,第7期,1027-1077(2007).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《信息计算》。205,第7号,1027--1077(2007;Zbl 1122.68075) 全文: 内政部
默多克·J·加贝。 名字的一般数学。 (英语) 兹比尔1123.03047 Inf.计算。 205,第7期,982-1011(2007).MSC公司:03E70型 03B70号 03日70 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},Inf.计算。205,第7号,982--1011(2007;Zbl 1123.03047) 全文: 内政部
玛丽贝尔·费尔南德斯;默多克·J·加贝。 名义重写。 (英语) Zbl 1118.68075号 Inf.计算。 205,第6期,917-965(2007).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}和\textit{M.J.Gabbay},Inf.Compute。205,第6号,917--965(2007;Zbl 1118.68075) 全文: 内政部
阿伦德·伦辛克;沃尔特·福格勒 公平测试。 (英语) Zbl 1109.68077号 Inf.计算。 205,第2期,125-198(2007).MSC公司:68问题85 68问题55 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{W.Vogler},Inf.Comput。205,编号2,125--198(2007;Zbl 1109.68077) 全文: 内政部 链接
安德烈亚斯·施费尔 多维持续时间微积分的公理化和可判定性。 (英语) Zbl 1109.68069号 Inf.计算。 205,第1期,25-64(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schäfer},Inf.计算。205,编号1,25--64(2007;Zbl 1109.68069) 全文: 内政部
哈坎·L·S·尤尼斯。;里德·西蒙斯(Reid G.Simmons)。 统计概率模型检查,重点关注有时间限制的属性。 (英语) Zbl 1110.68077号 Inf.计算。 204,第9期,1368-1409(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.S.Younes}和\textit{R.G.Simmons},Inf.Compute。204,第9号,1368--1409(2006;Zbl 1110.68077) 全文: 内政部
科琳娜·科斯特 定义和描述仿真概念的模块化方法。 (英语) Zbl 1101.68937号 Inf.计算。 204,第4期,469-502(2006).MSC公司:68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea},Inf.Compute(信息计算)。204,第4号,469--502(2006;Zbl 1101.68937) 全文: 内政部 链接
佩德罗·R·达吉尼奥。;Joost-Pieter卡托恩 随机系统理论。二: 进程代数。 (英语) 兹比尔1106.68073 Inf.计算。 203,第1期,39-74(2005).MSC公司:68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen},Inf.Compute。203,第1号,39--74(2005;Zbl 1106.68073) 全文: 内政部
萨拉·格拉达拉;安东内拉·桑顿;玛丽亚·路易莎·维拉尼 使用启发式搜索查找并发系统中的死锁。 (英语) Zbl 1101.68680号 Inf.计算。 202,第2期,191-226(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gradara}等人,《信息计算》。202,第2号,191--226(2005;Zbl 1101.68680) 全文: 内政部
杰斯珀·亨利克森。;马达万穆昆德;Kumar,K.纳拉扬;米林德·索霍尼;蒂亚加拉扬,P.S。 正规MSC语言理论。 (英语) Zbl 1101.68656号 Inf.计算。 202,第1期,1-38页(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen}等人,《信息计算》。202,第1号,1--38(2005;Zbl 1101.68656) 全文: 内政部
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 (英语) Zbl 1101.68053号 Inf.计算。 200,第2期,149-214(2005).MSC公司:68问题55 2010年第68季度 60年第68季度 60J10型 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,信息计算。200,第2号,149--214(2005;Zbl 1101.68053) 全文: 内政部 链接
法哈德·梅塔;托比亚斯·尼普科 用高阶逻辑证明指针程序。 (英语) Zbl 1081.68008号 Inf.计算。 199,第1-2号,200-227(2005).MSC公司:68甲19 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Mehta}和\textit{T.Nipkow},信息计算。199,编号1--2,200-227(2005;Zbl 1081.68008) 全文: 内政部
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 SOS与数据的互模拟和同余格式的概念。 (英语) Zbl 1082.68075号 Inf.计算。 200,第1期,107-147(2005).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Mousavi}等人,《Inf.Compute》。200,编号107-147(2005年;兹bl 1082.68075) 全文: 内政部
卢卡·卡德利;乔治·盖利;安德鲁·戈登。 保密和创建组。 (英语) Zbl 1101.68692号 Inf.计算。 196,第2期,127-155(2005).MSC公司:68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,《信息计算》。196,第2号,127--155(2005;Zbl 1101.68692) 全文: 内政部
莫勒,法伦;斯科特·斯莫尔卡;吉·斯尔巴 关于互模拟的计算复杂性,redux。 (英语) Zbl 1074.68038号 Inf.计算。 194,第2129-143号(2004年).MSC公司:68问题85 65年第68季度 65年第68季度 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Moller}等人,《信息计算》。194,第2号,129--143(2004;Zbl 1074.68038) 全文: 内政部
延斯·帕尔斯伯格;赵、田 记录连接和子类型的类型推断。 (英语) Zbl 1082.68013号 Inf.计算。 189,第1期,54-86(2004).MSC公司:68甲15 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Palsberg}和\textit{T.Zhao},Inf.Compute。189,编号1,54--86(2004;Zbl 1082.68013) 全文: 内政部
Badouel,E。;Darondeau博士。 从路径自动规范合成Petri网。 (英语) Zbl 1101.68691号 Inf.计算。 193,第2期,117-135(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}和\textit{Ph.Darondeau},Inf.Comput。193,第2号,117--135(2004;Zbl 1101.68691) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒 速度上的相互模拟:最坏情况下的效率。 (英语) 兹比尔1074.68037 Inf.计算。 191,编号2105-144(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Inf.Compute。191,No.2,105--144(2004;Zbl 1074.68037) 全文: 内政部
约阿希姆·尼伦;蒂姆·普莱斯尼茨 自动机理论中的非结构子类型蕴涵。 (英语) Zbl 1078.68092号 Inf.计算。 第2期第186页,第319-354页(2003年).MSC公司:65年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}和\textit{T.Priesnitz},Inf.Compute。186,第2号,319--354(2003;Zbl 1078.68092) 全文: 内政部
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。一、。 (英语) Zbl 1068.03022号 Inf.计算。 186,第2期,194-235(2003). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},信息计算。186,第2号,194--235(2003;Zbl 1068.03022) 全文: 内政部
安德鲁·皮特斯(Andrew M.Pitts)。 名义逻辑,一种关于名称和约束的一阶理论。 (英语) Zbl 1056.03014号 Inf.计算。 186,第2期,165-193(2003).MSC公司:03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pitts},《信息计算》。186,第2号,165--193(2003;Zbl 1056.03014) 全文: 内政部
南希·林奇;罗伯特·塞加拉;Vaandrager,Frits公司 混合I/O自动机。 (英语) Zbl 1069.68067号 Inf.计算。 185,第1期,105-157(2003).MSC公司:65年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Lynch}等人,《信息计算》。185,编号1,105--157(2003;Zbl 1069.68067) 全文: 内政部
保罗·布莱恩·利维;权力,约翰;海约·蒂莱克 用按调用值编程语言建模环境。 (英语) Zbl 1069.68073号 Inf.计算。 185,第2号,182-210(2003年).MSC公司:68问题55 03B40型 18 C50 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Levy}等人,《信息计算》。185,第2号,182--210(2003;Zbl 1069.68073) 全文: 内政部
雷内·维斯特加德;詹姆斯·布罗瑟斯顿 使用单排序变量名的(lambda)演算的形式化一阶合流证明。 (英语) Zbl 1054.68028号 Inf.计算。 183,第2期,212-244(2003).MSC公司:68甲18 03B40型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Vestergaard}和\textit{J.Brotherston},Inf.Compute。183,编号2,212--244(2003;Zbl 1054.68028) 全文: 内政部
林惠民 演算中弱互模拟等价的完备推理系统。 (英语) Zbl 1045.68098号 Inf.计算。 180,第1期,1-29页(2003年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin},信息计算。180,编号1,1--29(2003;Zbl 1045.68098) 全文: 内政部
何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 近似标记马尔可夫过程。 (英语) Zbl 1028.68091号 Inf.计算。 184,第1期,160-200(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,信息计算。184,编号1,160--200(2003;Zbl 1028.68091) 全文: 内政部
Anna Ingólfsdóttir 基于最新方法的价值传递过程语义理论。 (英语) Zbl 1028.68094号 Inf.计算。 184,第1期,1-44页(2003年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ingólfsdóttir},信息计算。184,编号1,1-44(2003年;Zbl 1028.68094) 全文: 内政部
大卫·哈雷;奥尔纳·库普弗曼;莫舍·瓦尔迪。 关于验证并发转换系统的复杂性。 (英语) Zbl 1009.68082号 Inf.计算。 173,第2期,第143-161页(2002年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,《信息计算》。173,编号2,143--161(2002;Zbl 1009.68082) 全文: 内政部
朱塞佩·卡斯塔尼亚;陈刚 具有子类型和延迟绑定重载的依赖类型。 (英语) Zbl 1007.68029号 Inf.计算。 168,第1期,1-67页(2001年).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}和\textit{G.Chen},信息计算。168,第1号,1--67(2001;Zbl 1007.68029) 全文: 内政部
Jzer Yuh Joung 分布式系统中的公平概念。二: 等价补足及其层次结构。 (英语) Zbl 1003.68009号 Inf.计算。 166,第1期,35-60(2001).MSC公司:64岁以下 2010年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Joung},Inf.计算。166,编号1,35--60(2001;Zbl 1003.68009) 全文: 内政部
马可·皮斯托雷;戴维·桑吉奥吉 用于\(\pi\)-演算的分区细化算法。 (英语) Zbl 1003.68082号 Inf.计算。 164,第2264-321号(2001年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Pistore}和\textit{D.Sangiorgi},信息计算。164,第2号,264--321(2001;Zbl 1003.68082) 全文: 内政部
德波尔,F.S。;M.加布里埃利。;M.C.梅奥。 一种定时并发约束语言。 (英语) Zbl 1046.68507号 Inf.计算。 161,第1期,45-83(2000).MSC公司:68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,《信息计算》。161,编号1,45--83(2000;Zbl 1046.68507) 全文: 内政部
亚历山大·拉比诺维奇 持续时间演算的表达式完整性。 (英语) Zbl 1046.68606号 Inf.计算。 156,编号1-2,320-344(2000).MSC公司:60年第68季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。156,编号1--2,320-344(2000;Zbl 1046.68606) 全文: 内政部 链接
弗拉维奥·科拉迪尼 过程代数中的绝对时间与相对时间。 (英语) Zbl 1046.68618号 Inf.计算。 156,编号1-2,122-172(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini},信息计算。156,编号1--2,122-172(2000;Zbl 1046.68618) 全文: 内政部
保罗·巴尔丹;乔治·盖利;亚历山德拉·拉斐塔 有界量化的基本理论。 (英语) Zbl 1045.68524号 Inf.计算。 153,第2期,173-237(1999).MSC公司:68甲18 03B40型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。153,第2号,173--237(1999;Zbl 1045.68524) 全文: 内政部
吉尔·巴特 有序感应类型。 (英语) Zbl 0928.68022号 Inf.计算。 149,第1号,42-76(1999).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe},Inf.计算。149,编号1,42--76(1999;Zbl 0928.68022) 全文: 内政部 链接
弗拉维奥·科拉迪尼 关于过程代数的性能同余。 (英语) Zbl 0921.68031号 Inf.计算。 145,第2期,191-230(1998).MSC公司:2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini},信息计算。145,第2号,191--230(1998;Zbl 0921.68031) 全文: 内政部
Wan Fokkink公司;克里斯·弗霍夫 保守地看待变量绑定的操作语义。 (英语) Zbl 0916.68098号 Inf.计算。 146,第1期,24-54(1998).MSC公司:60年第68季度 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}和\textit{C.Verhoef},Inf.计算。146,编号1,24--54(1998;Zbl 0916.68098) 全文: 内政部 链接
戴维·桑吉奥吉 将类型化对象解释为类型化演算。 (英语) Zbl 0914.03039号 Inf.计算。 143,第1期,34-73(1998).MSC公司:03B70号 68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi},信息计算。143,编号1,34--73(1998;Zbl 0914.03039) 全文: 内政部
马可·贝尔纳多;洛伦佐·多纳蒂耶洛;罗伯托·戈里埃里 在并发系统建模和分析中集成性能方面的一种形式化方法。 (英语) Zbl 0909.68074号 Inf.计算。 144,第2期,第83-154页(1998年).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。144,No.2,83--154(1998;Zbl 0909.68074) 全文: 内政部
帕特丽斯·布莱蒙德·格雷戈里;Choi,Jin-Young先生;Lee,Insup公司 有限状态ACSR过程的完全公理化。 (英语) 兹伯利0885.68064 Inf.计算。 138,第2124-159号(1997年).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Brémond-Grégoire}等人,《信息计算》。138,No.2,124--159(1997;Zbl 0885.68064) 全文: 内政部