陈丽安;佛罗伦萨克莱尔克;帕南加登,普拉卡什 连续时间马尔可夫过程的行为等价性。 (英语) Zbl 07813347号 数学。结构。计算。科学。 33,编号4-5,222-258(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}等人,数学。结构。计算。科学。33,编号4--5,222--258(2023;Zbl 07813347) 全文: 内政部 OA许可证
马塞洛·菲奥雷 通过类型lambda演算的评估进行规范化的语义分析。 (英语) Zbl 07680178号 数学。结构。计算。科学。 32,第8期,1028-1065(2022).MSC公司:03B40型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiore},数学。结构。计算。科学。32,编号8,1028--1065(2022;Zbl 07680178) 全文: 内政部 arXiv公司
Vivek Nigam先生;金敏英;伊恩·梅森;卡罗琳·塔尔科特 分布式自治代理系统中偏差的检测和诊断。 (英语) 兹比尔1512.68159 数学。结构。计算。科学。 32,第9期,1254-1282(2022).MSC公司:60年第68季度 2012年第68季度 93甲14 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人,数学。结构。计算。科学。32,编号9,1254--1282(2022;Zbl 1512.68159) 全文: 内政部
莱安德罗·戈麦斯;亚历山大·马德拉;路易斯·索雷斯·巴博萨 加权同步自动机。 (英语) Zbl 1512.68141号 数学。结构。计算。科学。 32,编号9,1234-1253(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人,数学。结构。计算。科学。32,编号9,1234--1253(2022;Zbl 1512.68141) 全文: 内政部
阿格内斯·阿诺德;哈基姆·贝哈瓦里;托马斯·贝雷特;帕斯卡尔·勒加尔;罗曼·帕斯夸尔 使用图形变换保持几何建模的一致性。 (英语) Zbl 1517.68152号 数学。结构。计算。科学。 32,编号3,300-347(2022).MSC公司:2012年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnould}等人,《数学》。结构。计算。科学。32,编号3,300-347(2022;Zbl 1517.68152) 全文: 内政部
詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 卷积和并发。 (英语) Zbl 1490.68139号 数学。结构。计算。科学。 31,第8期,918-949(2021).MSC公司:68问题85 03G25号 07年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cranch}等人,数学。结构。计算。科学。31,第8号,918--949(2021;Zbl 1490.68139) 全文: 内政部 arXiv公司
乌里法伦伯格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski 高维自动机语言。 (英语) Zbl 1495.68119号 数学。结构。计算。科学。 31,5号,575-613(2021).MSC公司:65年第68季度 18号50 54个F05 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,《数学》。结构。计算。科学。31,第5号,575--613(2021;Zbl 1495.68119) 全文: 内政部 arXiv公司
塞尔达,埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 计算子形式收敛理论方程扩展的知识。 (英语) 兹比尔1495.68113 数学。结构。计算。科学。 30,第6号,683-709(2020).MSC公司:2012年第68季度 68平方米25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,《数学》。结构。计算。科学。30,第6号,683--709(2020;Zbl 1495.68113) 全文: 内政部
阿杰·库马尔·埃拉拉;克里斯托弗·林奇 有边界的ACh统一。 (英语) Zbl 1495.68111号 数学。结构。计算。科学。 30,第6号,664-682(2020).MSC公司:2012年第68季度 03B35型 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Eeralla}和\textit{C.Lynch},数学。结构。计算。科学。30,编号:664-682(2020;兹bl 1495.68111) 全文: 内政部 arXiv公司
大卫·M·塞尔纳。;特穆尔库西亚 高阶模式泛化模方程理论。 (英语) Zbl 1495.03013号 数学。结构。计算。科学。 30,第6号,627-663(2020).MSC公司:03B35型 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Cerna}和\textit{T.Kutsia},数学。结构。计算。科学。30,第6号,627--663(2020;Zbl 1495.03013) 全文: 内政部
赫尔穆特·尤根森 多集、堆、包、族:什么是多集? (英语) Zbl 1478.03075号 数学。结构。计算。科学。 30,第2期,139-158(2020).MSC公司:03E70型 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen},数学。结构。计算。科学。30,第2号,139--158(2020;Zbl 1478.03075) 全文: 内政部
科林·里巴 树自动机的同构闭范畴。 (英语) Zbl 1435.68183号 数学。结构。计算。科学。 30,第1期,第62-117页(2020年).MSC公司:65年第68季度 03B70号 05年3月 03G30型 18B20型 18日第15天 18米45 PDF格式BibTeX公司 XML格式引用 \textit{C.Riba},数学。结构。计算。科学。30,编号1,62-117(2020;Zbl 1435.68183) 全文: 内政部
马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 非交换线性逻辑中的次指数。 (英语) Zbl 1456.03099号 数学。结构。计算。科学。 29,第8期,1217-1249(2019).MSC公司:03楼52 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,《数学》。结构。计算。科学。29,第8号,1217--1249(2019;Zbl 1456.03099) 全文: 内政部 arXiv公司
吉赛尔·赖斯;布鲁诺沃尔岑洛格尔古 从解析到序列演算的转换的复杂性。 (英语) Zbl 1456.03087号 数学。结构。计算。科学。 29,第8号,1061-1091(2019).MSC公司:07年3月 03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{G.Reis}和\textit{B.Woltzenogel古},数学。结构。计算。科学。29,第8号,1061--1091(2019;Zbl 1456.03087) 全文: 内政部
V.Michele Abrusci;罗伯特·梅利 乘法循环线性逻辑和Lambek演算的证明网。 (英语) 兹比尔1456.03092 数学。结构。计算。科学。 29,第6号,733-762(2019).MSC公司:03楼52 03B47号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Abrusci}和\textit{R.Maieli},数学。结构。计算。科学。29,第6号,733--762(2019;Zbl 1456.03092) 全文: 内政部
迪莉娅·凯斯纳;丹尼尔·文图拉 用于集中直觉演算的资源感知语义。 (英语) Zbl 1407.68273号 数学。结构。计算。科学。 29,编号1,93-126(2019).MSC公司:68问题55 03B20型 03B40型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{D.Ventura},数学。结构。计算。科学。29,第1号,93-126(2019;Zbl 1407.68273) 全文: 内政部
罗利·佩雷拉;詹姆斯·切尼 相关证明演算:对并发性和因果性的建设性解释。 (英语) Zbl 1400.68142号 数学。结构。计算。科学。 28,第9期,1541-1577(2018).MSC公司:68问题85 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Perera}和\textit{J.Cheney},数学。结构。计算。科学。28,第9号,1541--1577(2018;Zbl 1400.68142) 全文: 内政部 arXiv公司
马丁·斯特雷克 图形转换的交互式和自动化证明。 (英语) Zbl 1398.68286号 数学。结构。计算。科学。 28,第8期,1333-1362(2018).MSC公司:2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Strecker},数学。结构。计算。科学。28,第8号,1333--1362(2018;Zbl 1398.68286) 全文: 内政部
埃曼纽尔·贝法拉 阶代数:相互作用的定量模型。 (英语) Zbl 1398.68357号 数学。结构。计算。科学。 28,第7期,1126-1168(2018).MSC公司:68问题85 99年6月 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Beffara},数学。结构。计算。科学。28,第7号,1126--1168(2018;Zbl 1398.68357) 全文: 内政部
克里斯汀·塔森;莱昂内尔·沃克斯 有限结构和应用的传输。 (英语) Zbl 1456.03108号 数学。结构。计算。科学。 28,第7号,1061-1096(2018).MSC公司:03楼52 18甲15 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Tasson}和\textit{L.Vaux},数学。结构。计算。科学。28,第7号,1061--1096(2018;Zbl 1456.03108) 全文: 内政部
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer关于数字的连续性原理。 (英语) Zbl 1390.68584号 数学。结构。计算。科学。 28,第6号,942-990(2018).MSC公司:68吨15 03B35型 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford},数学。结构。计算。科学。28,第6号,942--990(2018;Zbl 1390.68584) 全文: 内政部
乔治·斯特鲁斯 Hoare半群。 (英语) Zbl 1390.68440号 数学。结构。计算。科学。 28,第6号,775-799(2018).MSC公司:60年第68季度 03B70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},数学。结构。计算。科学。28,第6号,775--799(2018;Zbl 1390.68440) 全文: 内政部
乌尔里希·伯杰;侯铁英 对丘奇简单类型理论的可实现性解释。 (英语) Zbl 1423.03044号 数学。结构。计算。科学。 27,第8期,1364-1385(2017).MSC公司:03B20型 03B15号机组 03B40型 03D78号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{T.Hou},数学。结构。计算。科学。27,第8号,1364--1385(2017;Zbl 1423.03044) 全文: 内政部
马克西姆·克罗西莫尔;Iliopoulos,Costas S。;阿莱西奥·兰吉乌;菲利波·米格诺西 最长的公共子串问题。 (英语) Zbl 1364.68379号 数学。结构。计算。科学。 27,第2期,277-295(2017).MSC公司:68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Crochemore}等人,数学。结构。计算。科学。27,第2277-295号(2017年;兹bl 1364.68379) 全文: 内政部
斯蒂法诺·比斯塔雷利;弗朗西斯科·桑蒂尼 关于将两个信任网络合并为一个具有两极偏好的网络。 (英语) Zbl 1364.91123号 数学。结构。计算。科学。 27,第2期,215-233(2017).MSC公司:91天30分 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}和\textit{F.Santini},数学。结构。计算。科学。27,第2号,215--233(2017;Zbl 1364.91123) 全文: 内政部
马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 受法规约束的活动的重写框架和逻辑。 (英语) Zbl 1364.68333号 数学。结构。计算。科学。 27,第3号,332-375(2017).MSC公司:68T27型 03楼52 2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,《数学》。结构。计算。科学。27,第3号,332--375(2017;Zbl 1364.68333) 全文: 内政部
洛维,加文 带有可用性信息的CSP模型。 (英语) Zbl 1362.68217号 数学。结构。计算。科学。 26,第6期,1022-1053(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe},数学。结构。计算。科学。26,第6号,1022--1053(2016;Zbl 1362.68217) 全文: 内政部 arXiv公司
迪米特里奥斯·库扎帕斯;吉田、Nobuko;胡雷蒙德;本田、高黑 异步事件会话语义。 (英语) Zbl 1361.68170号 数学。结构。计算。科学。 26,第2期,303-364(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kouzapas}等人,数学。结构。计算。科学。26,第2号,303--364(2016;Zbl 1361.68170) 全文: 内政部
萨拉·卡佩基;埃琳娜·贾奇诺;吉田、Nobuko 多方会话中的全局转义。 (英语) Zbl 1361.68163号 数学。结构。计算。科学。 26,第2期,156-205(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Capecchi}等人,《数学》。结构。计算。科学。26,第2号,156--205(2016;Zbl 1361.68163) 全文: 内政部
朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山大·席尔瓦 增强的燃煤共刺激。 (英语) Zbl 1380.68300号 数学。结构。计算。科学。 27,第7期,1236-1264(2017). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 18B20型 18立方厘米 18立方厘米50 68问题55 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}等人,数学。结构。计算。科学。27,第7号,1236--1264(2015;Zbl 1380.68300) 全文: 内政部
Annick Lesne女士 香农熵:一个介于概率论、信息论、动力系统和统计物理之间的严格概念。 (英语) Zbl 1342.94059号 数学。结构。计算。科学。 24,第3期,文章ID e240311,63 p.(2014).MSC公司:94甲17 PDF格式BibTeX公司 XML格式引用 \textit{A.Lesne},数学。结构。计算。科学。24,第3号,文章ID e240311,63 p.(2014;Zbl 1342.94059) 全文: 内政部
埃尔文·佩德利;彼得·舒斯特 构造Noetherian环的Gröbner基。 (英语) Zbl 1342.68365号 数学。结构。计算。科学。 24,第2期,文章ID e240206,29 p.(2014).MSC公司:68瓦30 13层20 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{H.Perdry}和\textit{P.Schuster},数学。结构。计算。科学。24,第2号,文章ID e240206,29 p.(2014;Zbl 1342.68365) 全文: 内政部
詹乃军 并发系统的逻辑和代数方法之间的联系。 (英语) Zbl 1213.68411号 数学。结构。计算。科学。 20,第5期,915-950(2010).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan},数学。结构。计算。科学。20,编号51915-950(2010年;兹bl 1213.68411) 全文: 内政部
Cañete-Valdeón,JoséM。 关于编程和建模语言形式化中数学实体的解释。 (英语) Zbl 1160.68342号 数学。结构。计算。科学。 18,第6号,1017-1030(2008).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Cañete-Valdeón},数学。结构。计算。科学。18,第6号,1017--1030(2008;Zbl 1160.68342) 全文: 内政部
西蒙·安布勒 论证语义的分类方法。 (英语) Zbl 0849.18007号 数学。结构。计算。科学。 6,第2期,167-188(1996). 审核人:K.Peeva(索非亚) MSC公司:18立方厘米 68T27型 18甲15 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{S.Ambler},数学。结构。计算。科学。6,第2号,167--188(1996;Zbl 0849.18007) 全文: 内政部
约瑟夫·戈根(Joseph A.Goguen)。 并发交互对象的剪切语义。 (英语) Zbl 0763.18005号 数学。结构。计算。科学。 第2期,第159-191页(1992年). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:18层20 2010年第68季度 18A35型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen},数学。结构。计算。科学。2,第2号,159--191(1992;Zbl 0763.18005) 全文: 内政部
约瑟夫·戈根(Joseph A.Goguen)。 一份明确的宣言。 (英语) Zbl 0747.18001号 数学。结构。计算。科学。 第1期,第49-67页(1991年). 审核人:V.Kůrková-波洛娃(普拉哈) MSC公司:18-01 18轴 99年第68季度 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen},数学。结构。计算。科学。1,第1号,49--67(1991;Zbl 0747.18001) 全文: 内政部