邱道文 使用查询学习量子有限自动机。 (英语) Zbl 07813379号 数学。结构。计算。科学。 34,第2期,128-146(2024年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.邱},数学。结构。计算。科学。34,第2号,128--146(2024;Zbl 07813379) 全文: 内政部 arXiv公司
菲利波·邦奇;巴巴拉·科尼格;丹尼拉·佩特里西安 通过谎言实现行为指标的最新技术。 (英语) Zbl 07813346号 数学。结构。计算。科学。 33,编号4-5,182-221(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,数学。结构。计算。科学。33,编号4--5,182-221(2023;Zbl 07813346) 全文: 内政部 OA许可证
莱安德罗·戈麦斯;马德拉,亚历山大;路易斯·索雷斯·巴博萨 加权同步自动机。 (英语) 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 1506.68043号 数学。结构。计算。科学。 32,第7号,829-869(2022).MSC公司:2012年第68季度 2005年5月18日 18立方米 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,数学。结构。计算。科学。32,编号7,829--869(2022;Zbl 1506.68043) 全文: 内政部 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公司
丹尼尔·利万特;Jean-Yves玛丽恩 抽象中的原语递归。 (英语) Zbl 1435.68064号 数学。结构。计算。科学。 30,编号1,33-43(2020).MSC公司:68纳米30 03C13号机组 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{D.Leivant}和\textit{J.-Y.Marion,数学。结构。计算。科学。30,第1号,33-43(2020;Zbl 1435.68064) 全文: 内政部
纪尧姆·邦芬特;弗洛里安·德洛普。 正则语言亏格计算的判定性。 (英语) Zbl 1434.68236号 数学。结构。计算。科学。 29,第9期,1428-1443(2019).MSC公司:65年第68季度 05年10月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bonfante}和\textit{F.L.Deloup},数学。结构。计算。科学。29,第9号,1428--1443(2019;Zbl 1434.68236) 全文: 内政部 arXiv公司
罗斯·霍恩;蒂乌,阿尔文 根据具有私有名称的进程的线性含义构建弱模拟。 (英语) Zbl 1447.68008号 数学。结构。计算。科学。 29,第8期,1275-1308(2019). 审核人:马丁·兰格(卡塞尔) MSC公司:68问题85 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}和\textit{A.Tiu},数学。结构。计算。科学。29,第8号,1275--1308(2019;Zbl 1447.68008) 全文: 内政部
罗、岳国;谭海军;张颖;江、云 具有使用启动子的活性膜的定时P系统的计算能力。 (英语) Zbl 1417.68043号 数学。结构。计算。科学。 29,第5号,663-680(2019).MSC公司:2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Luo}等人,数学。结构。计算。科学。29,第5号,663--680(2019;Zbl 1417.68043) 全文: 内政部
罗利·佩雷拉;詹姆斯·切尼 相关证明演算:对并发性和因果性的建设性解释。 (英语) 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公司
H.J.Sander,布鲁金克;巴巴拉·科尼格 可识别的箭头和cospans语言。 (英语) Zbl 1398.68299号 数学。结构。计算。科学。 28,第8期,1290-1332(2018).MSC公司:65年第68季度 05年3月 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.J.S.Bruggink}和\textit{B.König},数学。结构。计算。科学。28,第8号,1290--1332(2018;Zbl 1398.68299) 全文: 内政部
埃曼纽尔·贝法拉 阶代数:相互作用的定量模型。 (英语) 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) 全文: 内政部
马科托·哈马纳;松田和川;川崎朝田 递归图转换语言UnCAL的代数:完全公理化和迭代范畴语义。 (英语) Zbl 1387.68063号 数学。结构。计算。科学。 28,第2期,287-337(2018).MSC公司:68甲18 18 C50 2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana}等人,数学。结构。计算。科学。28,第2号,287--337(2018;Zbl 1387.68063) 全文: 内政部 arXiv公司
纪尧姆·邦芬特;弗洛里安·德卢普 正规语言的属。 (英语) Zbl 1382.68132号 数学。结构。计算。科学。 28,第1期,14-44(2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bonfante}和\textit{F.Deloup},数学。结构。计算。科学。28、1号、14-44(2018;Zbl 1382.68132) 全文: 内政部
克里斯汀·加纳 代数结构的计算和不可判定问题的分类。 (英语) Zbl 1423.03139号 数学。结构。计算。科学。 27,第8期,1386-1413(2017).MSC公司:03天10分 03天35分 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Gaßner},数学。结构。计算。科学。27,第8号,1386--1413(2017;Zbl 1423.03139) 全文: 内政部
让·古鲍特·拉雷克 混合选择模型之间的同构定理。 (英语) Zbl 1378.68111号 数学。结构。计算。科学。 27,第6号,1032-1067(2017).MSC公司:第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq},数学。结构。计算。科学。27,编号61032-1067(2017;兹bl 1378.68111) 全文: 内政部
萨姆森·艾布拉姆斯基;维克托·温舍尔 无限对策中亚博弈完全均衡的无折扣协代数分析。 (英语) Zbl 1364.91026号 数学。结构。计算。科学。 27,第5期,751-761(2017).MSC公司:91A18号 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{V.Winschel},数学。结构。计算。科学。27,第5号,751--761(2017;Zbl 1364.91026) 全文: 内政部 arXiv公司
安东尼奥·贝尔尼尼;斯特凡诺·比洛塔;伦佐·平扎尼;文森特·瓦尼诺夫斯基 无交叉对偶集的格雷码。 (英语) 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公司
马克斯·卡诺维奇;塔贾纳Ban Kirigin;尼甘,维韦克;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 受法规约束的活动的改写框架和逻辑。 (英语) 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) 全文: 内政部
柯斯汀·彼得斯;Jens-Wolfhard Schicke-Uffmann;乌苏拉·戈尔茨;乌韦·内斯特曼 分布式系统中的同步与因果关系。 (英语) Zbl 1362.68220号 数学。结构。计算。科学。 第8号第26页,1459-1498页(2016年).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}等人,数学。结构。计算。科学。26,第8号,1459--1498(2016;Zbl 1362.68220) 全文: 内政部
柯斯汀·彼得斯;乌韦·内斯特曼 打破对称。 (英语) 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.68160号 数学。结构。计算。科学。 26,第3号,510-560(2016).MSC公司:68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Bernardi}和\textit{M.Hennessy},数学。结构。计算。科学。26,编号3,510-560(2016;兹bl 1361.68160) 全文: 内政部
去吧,马修;拉德哈·贾加迪桑;阿兰·杰弗里;科林·皮彻;詹姆斯·里利 会话多态性的可扩展方法。 (英语) Zbl 1361.68168号 数学。结构。计算。科学。 26,第3期,465-509(2016).MSC公司:68问题85 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Goto}等人,数学。结构。计算。科学。26,第3号,465--509(2016;Zbl 1361.68168) 全文: 内政部
卢卡·帕多瓦尼 多方会话类型的公平分型。 (英语) Zbl 1361.68172号 数学。结构。计算。科学。 26,第3期,424-464(2016).MSC公司:68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Padovani},数学。结构。计算。科学。26,第3号,424--464(2016;Zbl 1361.68172) 全文: 内政部
路易斯·凯雷斯;弗兰克·芬宁;伯纳多·托尼霍 线性逻辑命题作为会话类型。 (英语) Zbl 1361.68162号 数学。结构。计算。科学。 26,第3期,367-423(2016).MSC公司:68问题85 03楼52 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}等人,数学。结构。计算。科学。26,第3号,367--423(2016;Zbl 1361.68162) 全文: 内政部
马可·朱蒂;瓦斯科塞洛斯 线性、会话类型和pi演算。 (英语) Zbl 1361.68167号 数学。结构。计算。科学。 26,第2期,206-237(2016).MSC公司:68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Giunti}和\textit{V.T.Vasconcelos},数学。结构。计算。科学。26,第2号,206--237(2016;Zbl 1361.68167) 全文: 内政部
Sara卡佩奇;埃琳娜·贾奇诺;吉田、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) 全文: 内政部
安娜·波夫;亚历山大·克劳斯;Matthieu Sozeau先生 交互式定理证明程序中的偏爱和递归——概述。 (英语) Zbl 1361.68186号 数学。结构。计算。科学。 26,第1号,38-88(2016).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bove}等人,数学。结构。计算。科学。26,第1号,第38--88号(2016;Zbl 1361.68186) 全文: 内政部
佛朗哥·巴巴内拉;乌戈·德利古罗 基于会话的客户端/服务器系统的子行为关系。 (英语) Zbl 1361.68159号 数学。结构。计算。科学。 25,第6期,1339-1381(2015).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}和\textit{U.de'Liguoro},数学。结构。计算。科学。25,第6号,1339--1381(2015;Zbl 1361.68159) 全文: 内政部
不,Hiroshi;直市田口;直纪小林 通过高阶模型检查验证树处理程序。(通过高阶模式检查验证树处理程序。) (英语) Zbl 1361.68152号 数学。结构。计算。科学。 25,第4期,841-866(2015).MSC公司:60年第68季度 68甲18 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{H.Unno}等人,数学。结构。计算。科学。25,第4号,841--866(2015;Zbl 1361.68152) 全文: 内政部
米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂 CaSPiS:会话、管道和服务的计算。 (英语) Zbl 1361.68161号 数学。结构。计算。科学。 25,第3666-709号(2015).MSC公司:68问题85 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人,数学。结构。计算。科学。25,第3号,666--709(2015;Zbl 1361.68161) 全文: 内政部
理查德·巴纳赫;杰斯克,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) 全文: 内政部
唐纳德·桑内拉;安德烈·塔莱基 结构化规范的面向属性语义。 (英语) 兹比尔1342.68218 数学。结构。计算。科学。 24,第2号,文章ID e240205,37页(2014).MSC公司:68问题65 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},数学。结构。计算。科学。24,第2号,文章ID e240205,37页(2014;Zbl 1342.68218) 全文: 内政部
伊恩·菲利普斯;伊雷克·乌利多夫斯基 事件标识符逻辑。 (英语) Zbl 1342.68240号 数学。结构。计算。科学。 24,第2期,文章ID e240204,51 p.(2014).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{I.Ulidowski},数学。结构。计算。科学。24,第2号,文章ID e240204,51页(2014;兹bl 1342.68240) 全文: 内政部
约阿希姆·帕罗;约翰·博格斯特罗姆;Palle Raabjerg;约翰·奥曼·波霍拉 高阶psi-calculi。 (英语) Zbl 1342.68239号 数学。结构。计算。科学。 24,第2期,文章ID e240203,37页(2014).MSC公司:68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Parrow}等人,数学。结构。计算。科学。24,第2号,文章ID e240203,37页(2014;Zbl 1342.68239) 全文: 内政部
洛伦佐·贝蒂尼;Sara卡佩奇;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 派生对象的会话和联合类型。 (英语) Zbl 1308.68035号 数学。结构。计算。科学。 23,第6期,1163-1219(2013). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68纳米30 68甲19 第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,《数学》。结构。计算。科学。23,第6号,1163--1219(2013;Zbl 1308.68035) 全文: 内政部
拜尔,C。;E.M.哈恩。;B.R.哈维尔科特。;H·赫尔曼斯。;J.-P.卡托恩。 模型性能检查。 (英语) 兹比尔1358.68181 数学。结构。计算。科学。 23,第4期,751-795(2013).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,数学。结构。计算。科学。23,第4号,751--795(2013;Zbl 1358.68181) 全文: 内政部
马丁,C.E。;南卡罗来纳州柯蒂斯。 多重关系的代数。 (英语) Zbl 1352.18001号 数学。结构。计算。科学。 23,第3期,635-674(2013). 审核人:Mark S.Burgin(洛杉矶) MSC公司:18B10型 03B70号 18二氧化碳 第18天99 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}和\textit{S.A.Curtis},数学。结构。计算。科学。23,第3号,635--674(2013;Zbl 1352.18001) 全文: 内政部
米克洛斯·巴塔 图灵机的单体结构。 (英语) Zbl 1297.18002号 数学。结构。计算。科学。 23,第2期,204-246(2013).MSC公司:18B20型 18日第15天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartha},数学。结构。计算。科学。23,第2号,204--246(2013;Zbl 1297.18002) 全文: 内政部
伊恩·菲利普斯;伊雷克·乌利多夫斯基 稳定配置结构上的反向互模拟层次。 (英语) Zbl 1238.68102号 数学。结构。计算。科学。 22,第2期,333-372(2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{I.Ulidowski},数学。结构。计算。科学。22,第2号,333--372(2012;Zbl 1238.68102) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂 使用规则匹配双相似性证明GSOS语言中方程的有效性。 (英语) Zbl 1248.68347号 数学。结构。计算。科学。 第22291-331号(2012年). 审核人:Antti Valmari(坦佩雷) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。22,第2号,291--331(2012;Zbl 1248.68347) 全文: 内政部
卢卡·帕多瓦尼 将进程投影到会话类型。 (英语) Zbl 1277.68199号 数学。结构。计算。科学。 22,第2期,237-289(2012).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Padovani},数学。结构。计算。科学。22,第2号,237--289(2012;Zbl 1277.68199) 全文: 内政部
蔡晓娟;伏玉溪 在\(\pi\)-演算中的\(\lambda\)-微积分。 (英语) Zbl 1223.68073号 数学。结构。计算。科学。 21,第5期,943-996(2011).MSC公司:68问题85 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{X.Cai}和textit{Y.Fu},数学。结构。计算。科学。21,第5号,943-996(2011;Zbl 1223.68073) 全文: 内政部
杨晓晓;段振华;马,钱 投影时序逻辑程序的公理语义。 (英语) Zbl 1213.68186号 数学。结构。计算。科学。 20,第5期,865-914(2010).MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,数学。结构。计算。科学。20,编号5865-914(2010年;兹bl 1213.68186) 全文: 内政部
A.阿斯佩蒂。;北布西。 移动Petri网。 (英语) Zbl 1191.68427号 数学。结构。计算。科学。 第619265至1278号(2009年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{N.Busi},数学。结构。计算。科学。19,第6号,1265--1278(2009;Zbl 1191.68427) 全文: 内政部
纳迪亚·布西;吉安路易吉·扎瓦塔罗 确定移动环境的图灵完备片段中的可达性问题。 (英语) Zbl 1191.68433号 数学。结构。计算。科学。 19,第6期,1223-1263(2009).MSC公司:68问题85 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavataro},数学。结构。计算。科学。19,第6号,1223--1263(2009;Zbl 1191.68433) 全文: 内政部
克里斯蒂安·维萨里;纳迪亚·布西;罗伯托·戈里埃里 流程结石中优先级的表现力研究。 (英语) Zbl 1191.68447号 数学。结构。计算。科学。 19,第6期,1161-1189(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Versari}等人,数学。结构。计算。科学。19,第6号,1161--1189(2009;Zbl 1191.68447) 全文: 内政部
布西,娜迪亚;G.Michele Pinna 过程发现和Petri网。 (英语) Zbl 1191.68432号 数学。结构。计算。科学。 19,第6期,1091-1124(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.M.Pinna},数学。结构。计算。科学。19,第6号,1091--1124(2009;Zbl 1191.68432) 全文: 内政部
纳迪亚·布西;罗伯托·戈里埃里 基本网和跟踪网中的结构不干涉。 (英语) Zbl 1191.68431号 数学。结构。计算。科学。 19,第6期,1065-1090(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{R.Gorrieri},数学。结构。计算。科学。19,第6号,1065--1090(2009;Zbl 1191.68431) 全文: 内政部
米歇尔·布格列西;达里奥·科拉佐;西尔维亚·克拉法;马其顿,达米亚诺 一种用于自由访问控制的类型系统。 (英语) Zbl 1172.68043号 数学。结构。计算。科学。 19,第4期,839-875(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,《数学》。结构。计算。科学。19,第4号,839--875(2009;Zbl 1172.68043) 全文: 内政部
克劳斯·凯梅尔;戈登·普洛金(Gordon D.Plotkin)。 扩展概率和非确定性的谓词变换器。 (英语) Zbl 1175.68253号 数学。结构。计算。科学。 第3期第19页,第501-539页(2009年).MSC公司:第68季度55 06立方厘米35 60年第68季度 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{K.Keimel}和\textit{G.D.Plotkin},数学。结构。计算。科学。19,第3号,501--539(2009;Zbl 1175.68253) 全文: 内政部
田聪;段振华 带有星形的命题投影时序逻辑的复杂性。 (英语) Zbl 1161.03008号 数学。结构。计算。科学。 19,第1期,73-100(2009).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},数学。结构。计算。科学。19,第1号,73--100(2009;Zbl 1161.03008) 全文: 内政部
西蒙·盖伊。 会话类型中的有界多态性。 (英语) Zbl 1156.68016号 数学。结构。计算。科学。 18,第5号,895-930(2008).MSC公司:68纳米30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Gay},数学。结构。计算。科学。18,第5号,895--930(2008;Zbl 1156.68016) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 用于流水线指令处理的Maurer计算机。 (英语) Zbl 1141.68010号 数学。结构。计算。科学。 18,第2号,373-409(2008).MSC公司:2007年8月 2005年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},数学。结构。计算。科学。18,编号2,373--409(2008;Zbl 1141.68010) 全文: 内政部
米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 观察性解释CASL规范。 (英语) Zbl 1141.68026号 数学。结构。计算。科学。 18,第2期,325-371(2008).MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人,《数学》。结构。计算。科学。18,编号2,325-371(2008年;兹bl 1141.68026) 全文: 内政部
索尼娅·法戈齐;埃琳娜·祖卡 开放模块演算:按需调用策略和汇流。 (英语) Zbl 1125.68040号 数学。结构。计算。科学。 17,第4号,675-751(2007).MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{S.Fagorzi}和\textit{E.Zucca},数学。结构。计算。科学。17,第4号,675--751(2007;Zbl 1125.68040) 全文: 内政部
埃吉迪奥·阿斯泰西亚诺;莫拉·塞里奥利 非标准不关心代数和规范。 (英语) Zbl 0846.68061号 数学。结构。计算。科学。 6,第1期,85-125(1996).MSC公司:第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}和\textit{M.Cerioli},数学。结构。计算。科学。6,第1号,85-125(1996年;Zbl 0846.68061) 全文: 内政部
费尔南多·奥雷贾斯;玛丽莎·纳瓦罗;安娜·桑切斯 抽象数据类型的代数实现:概念和新合成结果的综述。 (英语) 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) 全文: 内政部
汉斯·约尔格·克鲁斯基;蒂尔·莫萨科夫斯基 机构之间的等价性和差异:用基本代数模拟Horn子句逻辑。 (英语) Zbl 0849.68080号 数学。结构。计算。科学。 5,第2期,189-215(1995). 审核人:C.Masalagiu(伊阿西) MSC公司:68问题65 03B20型 03G30型 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{T.Mossakowski},数学。结构。计算。科学。5,第2号,189--215(1995;Zbl 0849.68080) 全文: 内政部
奥格·德穆尔 类别、关系和动态规划。 (英语) Zbl 0793.90091号 数学。结构。计算。科学。 4,第1号,33-69(1994).MSC公司:90立方厘米 18对25 PDF格式BibTeX公司 XML格式引用 \textit{O.de Moor},数学。结构。计算。科学。4,编号1,33--69(1994;Zbl 0793.90091) 全文: 内政部
罗朝晖 类型理论中的程序规范和数据细化。 (英语) Zbl 0791.68109号 数学。结构。计算。科学。 3,编号333-363(1993).MSC公司:60年第68季度 68号01 03B15号机组 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Luo},数学。结构。计算。科学。3,第3号,333--363(1993;Zbl 0791.68109) 全文: 内政部
道格拉斯·特洛伊格(Douglas R.Troeger)。 步骤互模拟是在没有显式内部选择的并行语言上的pomset等价。 (英语) 兹伯利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) 全文: 内政部
萨姆森·艾布拉姆斯基;史蒂文·维克斯 量子数、观察逻辑和过程语义。 (英语) Zbl 0823.06011号 数学。结构。计算。科学。 3,第2期,161-227(1993). 审核人:R.Maddux(艾姆斯) MSC公司:05年6月 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{S.Vickers},数学。结构。计算。科学。3,第2号,161--227(1993;Zbl 0823.06011) 全文: 内政部
所罗门·费弗曼 抽象数据类型的新方法。一: 非正式发展。 (英语) Zbl 0825.68456号 数学。结构。计算。科学。 2,第2期,193-229(1992).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman},数学。结构。计算。科学。2,第2号,193--229(1992;Zbl 0825.68456) 全文: 内政部
哈特穆特·埃里格;阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;弗朗西斯科·帕里西·普雷西奇 高级替换系统中的并行性和并发性。 (英语) Zbl 0749.68045号 数学。结构。计算。科学。 第1期,第3期,第361-404页(1991年).MSC公司:2012年第68季度 68问题65 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,数学。结构。计算。科学。1,第3号,361--404(1991;Zbl 0749.68045) 全文: 内政部