费尔南多·卢卡泰利·努恩斯;马蒂杰斯·瓦卡 CHAD用于表达全部语言。 (英语) Zbl 07813349号 数学。结构。计算。科学。 33,编号4-5,311-426(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Lucatelli Nunes}和\textit{M.Vákár},数学。结构。计算。科学。33,编号4-5311-426(2023;Zbl 07813349) 全文: 内政部 arXiv公司 OA许可证
U.E.沃尔特。;A.R.马提尼。;Häusler,E.H。 部分和全部正确性断言的索引结构和纤维结构。 (英语) Zbl 1512.68060号 数学。结构。计算。科学。 32,第9期,1145-1175(2022).MSC公司:68号30 03B70号 03G30型 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{U.E.Wolter}等人,数学。结构。计算。科学。32,编号9,1145--1175(2022;Zbl 1512.68060) 全文: 内政部
阿格内斯·阿诺德;哈基姆·贝哈瓦里;托马斯·贝雷特;帕斯卡尔·勒加尔;罗曼·帕斯夸尔 使用图形变换保持几何建模的一致性。 (英语) Zbl 1517.68152号 数学。结构。计算。科学。 32,编号3,300-347(2022).MSC公司:2012年第68季度 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnould}等人,《数学》。结构。计算。科学。32,编号3,300-347(2022;Zbl 1517.68152) 全文: 内政部
亚历杭德罗·阿吉雷;胜本、新雅;佐藤库拉 谎言中最薄弱的先决条件。 (英语) Zbl 1506.68053号 数学。结构。计算。科学。 32,第4期,472-510(2022年).MSC公司:第68季度第60季度 03B70号 03G30型 18立方厘米 18号45 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Aguirre}等人,《数学》。结构。计算。科学。32,编号4,472--510(2022;Zbl 1506.68053) 全文: 内政部
詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 卷积和并发。 (英语) Zbl 1490.68139号 数学。结构。计算。科学。 31,第8期,918-949(2021).MSC公司:第68季度85 03G25号 2007年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cranch}等人,数学。结构。计算。科学。31,第8号,918--949(2021;Zbl 1490.68139) 全文: 内政部 arXiv公司
朱尔斯·赫奇斯;梅赫努什·萨德扎德 双代数范畴合成分布语义中自然语言的广义量词理论。 (英语) Zbl 1422.68227号 数学。结构。计算。科学。 29,第6号,783-809(2019).MSC公司:68T50型 03B65型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.Hedges}和\textit{M.Sadrzadeh},数学。结构。计算。科学。29,第6号,783--809(2019;Zbl 1422.68227) 全文: 内政部 arXiv公司
索菲亚·奈特;巴斯蒂安·莫伯特;弗朗索瓦州施瓦岑特鲁伯 异步多代理系统中知识和消息的推理。 (英语) Zbl 1407.68471号 数学。结构。计算。科学。 29,第1号,127-168(2019).MSC公司:68T27型 03B42号 第68季度第60季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Knight}等人,数学。结构。计算。科学。29,第1号,127--168(2019;Zbl 1407.68471) 全文: 内政部
埃曼纽尔·贝法拉 阶代数:相互作用的定量模型。 (英语) 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) 全文: 内政部
保罗·安德烈·梅利斯;诺姆·齐尔伯格 类型精化系统的一个Isbell对偶定理。 (英语) Zbl 1390.68189号 数学。结构。计算。科学。 28,第6期,736-774(2018).MSC公司:68号30 03B70号 03楼52 03G30型 18层25 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Melliès}和\textit{N.Zeilberger},数学。结构。计算。科学。28,第6号,736--774(2018;Zbl 1390.68189) 全文: 内政部 arXiv公司
杰拉德·休特;贝诺·拉泽特 使用关系机进行计算。 (英语) Zbl 1364.68202号 数学。结构。计算。科学。 27,第5期,807-826(2017).MSC公司:2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}和\textit{B.Razet},数学。结构。计算。科学。27,第5号,807--826(2017;Zbl 1364.68202) 全文: 内政部
安东尼奥·贝尔尼尼;斯特凡诺·比洛塔;伦佐·平扎尼;文森特·瓦尼诺夫斯基 无交叉对偶集的格雷码。 (英语) Zbl 1364.68315号 数学。结构。计算。科学。 27,第2期,184-196(2017).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Bernini}等人,《数学》。结构。计算。科学。27,第2号,184--196(2017;Zbl 1364.68315) 全文: 内政部 arXiv公司
Tanver阿萨尔;巴顿,卡尔;布兰德,威默;高,贾;科斯塔斯·S·伊利奥普洛斯。;刘,张;Pissis,Solon P。 快速循环字典匹配算法。 (英语) Zbl 1362.68299号 数学。结构。计算。科学。 27,第2期,143-156(2017).MSC公司:68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{T.Athar}等人,数学。结构。计算。科学。27,第2号,143--156(2017;Zbl 1362.68299) 全文: 内政部
Peters,Kirstin彼得斯;乌韦·内斯特曼 打破对称。 (英语) Zbl 1362.68219号 数学。结构。计算。科学。 26,第6期,1054-1106(2016).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}和\textit{U.Nestmann},数学。结构。计算。科学。26,第6号,1054--1106(2016;Zbl 1362.68219) 全文: 内政部 arXiv公司
丹尼尔·戈拉;乌韦·内斯特曼 对表现力的全面抽象:历史、神话和事实。 (英语) Zbl 1361.68028号 数学。结构。计算。科学。 26,第4期,639-654(2016).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla}和\textit{U.Nestmann},数学。结构。计算。科学。26,第4号,639--654(2016;Zbl 1361.68028) 全文: 内政部
Jarryd P.贝克。;约翰·普莱斯;威廉·沃奇(William W.Wadge)。 语言Lucid中的多维无限数据。 (英语) 兹比尔1361.68024 数学。结构。计算。科学。 2015年第7期第25期第1546-1568页.MSC公司:68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Beck}等人,《数学》。结构。计算。科学。25,第7号,1546--1568(2015;Zbl 1361.68024) 全文: 内政部
史蒂夫·阿沃迪(编辑);尼古拉·甘比诺(编辑);埃里克·帕尔姆格伦(编辑) 引言-从类型理论和同伦理论到单价基础。 (英语) Zbl 1362.03004号 数学。结构。计算。科学。 25,第5期,1005-1009(2015).MSC公司:03-06 03年11月15日 03G30型 第18页第15页 55单位40 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}(编辑)等,《数学》。结构。计算。科学。25,第5号,1005--1009(2015;Zbl 1362.03004) 全文: 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 cJoin(加入):加入使用通信事务。 (英语) Zbl 1361.68060号 数学。结构。计算。科学。 25,第3期,566-618(2015).MSC公司:68号30 68N20型 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,数学。结构。计算。科学。25,第3号,566--618(2015;Zbl 1361.68060) 全文: 内政部
达姆,麦兹;巴特·雅各布斯;安德烈亚斯·伦德布拉德;弗兰克·皮森斯 多线程Java的安全监视器内联和认证。 (英语) Zbl 1361.68027号 数学。结构。计算。科学。 25,第3期,528-565(2015).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Dam}等人,数学。结构。计算。科学。25,编号3528-565(2015年;兹bl 1361.68027) 全文: 内政部
帕斯夸尔马拉卡里亚 定量信息流的代数基础。 (英语) Zbl 1361.68081号 数学。结构。计算。科学。 25,第2期,404-428(2015).MSC公司:68页30 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.马拉卡里亚},数学。结构。计算。科学。25,第2号,404--428(2015;Zbl 1361.68081) 全文: 内政部
安娜贝拉·麦克维尔;拉里萨·梅尼基;摩根,卡罗尔 带迭代的Hidden-Markov程序代数。 (英语) Zbl 1362.68052号 数学。结构。计算。科学。 25,第2期,320-360(2015).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,《数学》。结构。计算。科学。25,第2号,320-360(2015;Zbl 1362.68052) 全文: 内政部
理查德·巴纳赫;杰斯克,Czesław 精简与精化相互作用:塔式定理。 (英语) Zbl 1361.68056号 数学。结构。计算。科学。 25,第1期,135-202(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},数学。结构。计算。科学。25,编号1,135--202(2015;Zbl 1361.68056) 全文: 内政部
哈特穆特·埃里格;乌尔里克·戈拉斯;阿内格丽特·哈贝尔;莱恩·兰伯斯;费尔南多·奥雷贾斯 \具有嵌套应用条件的(mathcal{M})-粘合剂转化系统。一: 并行、并发和合并。 (英语) Zbl 1342.68176号 数学。结构。计算。科学。 24,第4号,文章ID e240406,48页(2014).MSC公司:2012年第68季度 18B20型 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,数学。结构。计算。科学。24,第4号,文章ID e240406,48页(2014;Zbl 1342.68176) 全文: 内政部
马丁,C.E。;南卡罗来纳州柯蒂斯。 多重关系代数。 (英语) Zbl 1352.18001号 数学。结构。计算。科学。 23,第3期,635-674(2013). 审核人:Mark S.Burgin(洛杉矶) MSC公司:18B10型 03B70号 18二氧化碳 18日99 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}和\textit{S.A.Curtis},数学。结构。计算。科学。23,第3号,635--674(2013;Zbl 1352.18001) 全文: 内政部
梅利塔·哈丁夏克;加文·比尔曼 用相似性扩展关系代数。 (英语) Zbl 1247.68315号 数学。结构。计算。科学。 22,第4期,686-718(2012).MSC公司:68单位35 第68页第15页 08A02号 68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Hajdinjak}和\textit{G.Bierman},数学。结构。计算。科学。22,第4号,686--718(2012;Zbl 1247.68315) 全文: 内政部
塞巴斯蒂安·鲍尔。;Juhl,Line公司;Larsen,Kim G。;Legay、Axel;吉·斯尔巴 使用结构化标签扩展模态转换系统。 (英语) Zbl 1277.68160号 数学。结构。计算。科学。 22,第4期,581-617(2012).MSC公司:第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,数学。结构。计算。科学。22,第4号,581--617(2012;Zbl 1277.68160) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔斯多蒂尔 使用规则匹配双相似性证明GSOS语言中方程的有效性。 (英语) Zbl 1248.68347号 数学。结构。计算。科学。 22,第2期,291-331(2012). 审核人:Antti Valmari(坦佩雷) MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。22,第2号,291-331(2012年;兹bl 1248.68347) 全文: 内政部
卢卡·埃特罗;安娜·英格尔斯多蒂尔;莱维,保罗·布莱恩;约书亚·萨克 定点语义的特征公式:一个通用框架。 (英语) Zbl 1279.68181号 数学。结构。计算。科学。 22,第2期,125-173(2012).MSC公司:68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。22,No.2,125--173(2012;Zbl 1279.68181) 全文: 内政部
伊莎贝拉·马斯特罗埃尼;安妮迪亚·班纳吉 使用抽象域完整性对解密策略进行建模。 (英语) Zbl 1252.68079号 数学。结构。计算。科学。 21,第6期,1253-1299(2011).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{A.Banerjee},数学。结构。计算。科学。21,第6号,1253--1299(2011;Zbl 1252.68079) 全文: 内政部
吉尔·巴特;佩德罗·R·达吉尼奥。;塔玛拉·雷兹克 通过自我组合保护信息流。 (英语) Zbl 1252.68072号 数学。结构。计算。科学。 21,第6期,1207-1252(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,数学。结构。计算。科学。21,第6号,1207--1252(2011;Zbl 1252.68072) 全文: 内政部
杰弗里·史密斯;拉斐尔·阿尔皮扎 无终止和安全的信息流。 (英语) Zbl 1236.68051号 数学。结构。计算。科学。 21,第6期,1183-1205(2011).MSC公司:68号30 60J99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{R.Alpízar},数学。结构。计算。科学。21,第6号,1183--1205(2011;Zbl 1236.68051) 全文: 内政部
阿纳·阿尔梅达·马托斯;简·塞德奎斯特 分布式移动代码的保密性。 (英语) 兹比尔1252.68071 数学。结构。计算。科学。 2011年第6期第21期第1111-1181页.MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Almeida-Matos}和\textit{J.Cederquist},数学。结构。计算。科学。21,第6号,1111--1181(2011;Zbl 1252.68071) 全文: 内政部
杨晓晓;段振华;马,钱 投影时序逻辑程序的公理语义。 (英语) Zbl 1213.68186号 数学。结构。计算。科学。 20,第5期,865-914(2010).MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,数学。结构。计算。科学。20,第5号,865--914(2010;Zbl 1213.68186) 全文: 内政部
安德烈亚·阿斯佩蒂;赫尔曼·格乌弗斯;拉贾·纳塔拉扬 社会过程、程序验证等等。 (英语) Zbl 1178.68333号 数学。结构。计算。科学。 19,第5期,877-896(2009).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}等人,《数学》。结构。计算。科学。19,第5号,877--896(2009;Zbl 1178.68333) 全文: 内政部
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,编号61017-1030(2008;兹bl 1160.68342) 全文: 内政部
尼科莱塔·萨巴迪尼;塞巴斯蒂亚诺·维格纳;罗伯特·F·C·沃尔特斯。 关于递归函数的注释。 (英语) Zbl 0844.03025号 数学。结构。计算。科学。 6,第2期,127-139(1996).MSC公司:03D20日 2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Sabadini}等人,数学。结构。计算。科学。6,第2号,127--139(1996;Zbl 0844.03025) 全文: 内政部
费尔南多·奥雷贾斯;玛丽莎·纳瓦罗;安娜·桑切斯 抽象数据类型的代数实现:概念和新合成结果的综述。 (英语) Zbl 0846.68070号 数学。结构。计算。科学。 6,第1号,33-67(1996).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Orejas}等人,《数学》。结构。计算。科学。6,编号1,33--67(1996;Zbl 0846.68070) 全文: 内政部
彼得·科尼恩伯格;弗兰克·诺德曼 部分超学说:部分函数逻辑和霍尔逻辑的分类模型。 (英语) Zbl 0809.03020号 数学。结构。计算。科学。 4,第2期,117-146(1994). 审核人:N.Curteanu(伊阿什) MSC公司:03B70号 68问题55 03G30型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Knijnenburg}和\textit{F.Nordemann},数学。结构。计算。科学。4,编号2117-146(1994年;兹bl 0809.03020) 全文: 内政部
P.W.奥赫恩。 干扰的句法控制模型。 (英语) Zbl 0802.68076号 数学。结构。计算。科学。 3,第4期,435-465(1993).MSC公司:68问题55 68甲15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn},数学。结构。计算。科学。3,第4号,435--465(1993;Zbl 0802.68076) 全文: 内政部
道格拉斯·特罗格。 步骤互模拟是在没有显式内部选择的并行语言上的pomset等价。 (英语) Zbl 0806.68044号 数学。结构。计算。科学。 3,第1期,25-62页(1993年). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Troeger},数学。结构。计算。科学。3,编号1,25--62(1993;Zbl 0806.68044) 全文: 内政部
卢卡·卡德利;约翰·米切尔(John C.Mitchell)。 记录操作。 (英语) Zbl 0727.68020号 数学。结构。计算。科学。 1,第1期,第3-48页(1991年). 审核人:M.K(布尔诺) MSC公司:68甲19 03B70号 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell},数学。结构。计算。科学。1号、1号、3号——48(1991年;Zbl 0727.68020) 全文: 内政部