乌戈·德利古罗;里卡多·特雷格里亚 从语义到类型:命令式演算的情况。 (英语) Zbl 07735130号 西奥。计算。科学。 973,文章ID 114082,25 p.(2023).MSC公司:68甲18 03B40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{U.de'Liguoro}和\textit{R.Treglia},Theor。计算。科学。973,文章ID 114082,25 p.(2023;Zbl 07735130) 全文: 内政部 arXiv公司 OA许可证
托马斯·卡尔 关于对称高维自动机和双相似性。 (英语) Zbl 1505.18011号 西奥。计算。科学。 935, 47-60 (2022). 审核人:菲利普·高彻(巴黎) MSC公司:18个C99 18A99型 第68季度85 PDF格式BibTeX公司 XML格式引用 \文本{T.Kahl},Theor。计算。科学。935,47-60(2022;兹bl 1505.18011) 全文: 内政部 arXiv公司 OA许可证
卢,京 强拟度量空间上的单子。 (英语) Zbl 1487.54043号 西奥。计算。科学。 912, 99-108 (2022).MSC公司:54E35个 18立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{J.Lu},Theor。计算。科学。912,99-108(2022;Zbl 1487.54043) 全文: 内政部
侯赛尼,S.N。;叶加内。 沿着允许的匹配进行部分回拉补码重写。 (英语) Zbl 1478.68114号 西奥。计算。科学。 898, 149-179 (2022).MSC公司:2012年第68季度 18A30型 18B50型 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Hosseini}和\textit{L.Yeganeh},Theor。计算。科学。898149-179(2022年;Zbl 1478.68114) 全文: 内政部
莱恩·兰伯斯;费尔南多·奥雷贾斯 具有嵌套应用程序条件的转换规则:关键对、初始冲突和最小化。 (英语) Zbl 1517.68163号 西奥。计算。科学。 884, 44-67 (2021).MSC公司:2012年第68季度 18B50型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}和\textit{F.Orejas},Theor。计算。科学。884、44-67(2021年;Zbl 1517.68163) 全文: 内政部
帕特里克·Stünkel;哈拉尔德·科尼格 在图形状结构的综合系统中进行单次推出重写。 (英语) Zbl 1517.68171号 西奥。计算。科学。 884, 23-43 (2021).MSC公司:2012年第68季度 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Stünkel}和\textit{H.König},Theor。计算。科学。884,23-43(2021;Zbl 1517.68171) 全文: 内政部 OA许可证
汉斯·约尔格·克鲁斯基;亚伦·赖伊 反应系统的分类方法:第一步。 (英语) Zbl 1491.68071号 西奥。计算。科学。 881, 111-128 (2021).MSC公司:2007年第68季度 18A10号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{A.Lye},Theor。计算。科学。881111-128(2021年;兹比尔1491.68071) 全文: 内政部 OA许可证
谢尔盖·冈查洛夫;克里斯托夫·劳赫;卢茨·施罗德 用于保护迭代的元语言。 (英语) Zbl 1517.68077号 西奥。计算。科学。 880, 111-137 (2021).MSC公司:68号30 18 C50 2005年5月18日 第68页第18页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,Theor。计算。科学。88011-137(2021年;Zbl 1517.68077) 全文: 内政部 arXiv公司
Peter Kostolányi 求和半环的有理元素。 (英语) Zbl 1484.68108号 西奥。计算。科学。 867, 101-127 (2021). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:70年第68季度 05年3月 2016年60月 18B20型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Kostolányi},Theor。计算。科学。867101--127(2021年;Zbl 1484.68108) 全文: 内政部
乌戈·德利古罗;里卡多·特雷格里亚 非类型计算(lambda)演算及其交集类型规程。 (英语) Zbl 1464.68056号 西奥。计算。科学。 846, 141-159 (2020).MSC公司:68甲18 03B40型 18立方厘米15 PDF格式BibTeX公司 XML格式引用 \textit{U.de'Liguoro}和\textit{R.Treglia},Theor。计算。科学。846141-159(2020年;Zbl 1464.68056) 全文: 内政部 链接
萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼 论语言句法形式的语义对等。 (英语) Zbl 1461.18001号 西奥。计算。科学。 840, 234-248 (2020). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:18A40型 第68季度第45季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Buro}和\textit{I.Mastroeni},Theor。计算。科学。840234-248(2020;Zbl 1461.18001) 全文: 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 Petri网的贝叶斯网络语义。 (英语) Zbl 1436.68207号 西奥。计算。科学。 807, 95-113 (2020).MSC公司:68问题85 2005年5月18日 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Theor。计算。科学。807,95-113(2020年;Zbl 1436.68207) 全文: 内政部 链接
安德烈亚斯·布拉斯;尤里·古里维奇 编织分布性。 (英语) Zbl 1439.18020号 西奥。计算。科学。 807, 73-94 (2020).MSC公司:2005年5月18日 2015年11月18日 81V27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},Theor。计算。科学。807、73-94(2020年;Zbl 1439.18020) 全文: 内政部 arXiv公司
萨姆森·艾布拉姆斯基 语义在哪里? (英语) Zbl 1506.03078号 西奥。计算。科学。 807, 3-14 (2020).MSC公司:03C13号机组 18 C50 PDF格式BibTeX公司 XML格式引用 \文本{S.Abramsky},Theor。计算。科学。807,3-14(2020年;兹比尔1506.03078) 全文: 内政部 arXiv公司
阿达梅克,吉安尼;斯特凡·米利厄斯 关于保持余积的函子和具有迭代性的代数。 (英语) Zbl 1423.18005号 西奥。计算。科学。 763, 66-87 (2019).MSC公司:18A22型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}和\textit{S.Milius},Theor。计算。科学。763,66-87(2019;Zbl 1423.18005) 全文: 内政部
鲍勃·科克;法布里奇奥·基诺维塞;刘易斯,玛莎;丹·马斯登;亚历克斯·托米 语言学和认知中的广义关系。 (英语) Zbl 1408.91187号 西奥。计算。科学。 752, 104-115 (2018).MSC公司:91层20 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{B.Coecke}等人,Theor。计算。科学。752104--115(2018年;Zbl 1408.91187) 全文: 内政部
尤金尼奥·莫吉;阿明,法朱迪亚;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 (英语) Zbl 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: 内政部 arXiv公司 OA许可证
内维斯、雷纳托;路易斯·巴博萨。 混合自动机的语言和模型:联合大脑的观点。 (英语) 兹比尔1400.68112 西奥。计算。科学。 744, 113-142 (2018).MSC公司:65年第68季度 18B20型 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Neves}和\textit{L.S.Barbosa},Theor。计算。科学。744113--142(2018年;Zbl 1400.68112) 全文: 内政部 链接
张忠熙;李庆国 非点域的笛卡尔闭扩张。 (英语) Zbl 1373.18005号 西奥。计算。科学。 691, 1-9 (2017).MSC公司:18日第15天 06B35号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}和\textit{Q.Li},Theor。计算。科学。691,1--9(2017;Zbl 1373.18005) 全文: 内政部
习晓勇;何庆余;杨凌云 关于稳定域的最大笛卡尔闭范畴。 (英语) Zbl 1359.68184号 西奥。计算。科学。 669, 22-32 (2017).MSC公司:68问题55 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{X.Xi}等人,Theor。计算。科学。669、22-32(2017年;Zbl 1359.68184) 全文: 内政部
北萨巴迪尼。;希亚维奥,F。;R.F.C.沃尔特斯。 关于状态网络的几何和代数。 (英语) Zbl 1359.68226号 西奥。计算。科学。 664, 144-163 (2017).MSC公司:68问题85 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{N.Sabadini}等人,Theor。计算。科学。664144-163(2017年;Zbl 1359.68226) 全文: 内政部
菲律宾邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西 用匕首杀死ε:代数标记结构系统的联合代数研究。 (英语) 兹比尔1330.68194 西奥。计算。科学。 604, 102-126 (2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Theor。计算。科学。604102-126(2015年;Zbl 1330.68194) 全文: 内政部 arXiv公司
Trancón y Widemann,B。;豪斯,M。 历史相关动力系统模型的代数-余代数递归理论。 (英语) 兹比尔1330.68185 西奥。计算。科学。 604, 63-80 (2015).MSC公司:68问题65 03A10号 18B20型 93年30日 PDF格式BibTeX公司 XML格式引用 \textit{B.Trancon y Widemann}和\textit{M.Hauhs},Theor。计算。科学。604、63-80(2015年;Zbl 1330.68185) 全文: 内政部
玛丽娜·莱妮莎 多游戏和策略,联合运算。 (英语) Zbl 1331.91051号 西奥。计算。科学。 604, 46-62 (2015).MSC公司:91A44型 91A20型 18B99型 PDF格式BibTeX公司 XML格式引用 \文本{M.Lenisa},Theor。计算。科学。604、46-62(2015年;Zbl 1331.91051) 全文: 内政部
巴特·雅各布斯 单子计算中的Dijkstra和Hoare单子。 (英语) Zbl 1330.68047号 西奥。计算。科学。 604, 30-45 (2015).MSC公司:68纳米30 18立方厘米 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{B.雅各布斯},Theor。计算。科学。604、30--45(2015年;Zbl 1330.68047) 全文: 内政部
一郎·哈索 单子函数的通用最弱前提语义丰富了顺序。 (英语) Zbl 1330.68046号 西奥。计算。科学。 604, 2-29 (2015).MSC公司:68纳米30 18立方厘米 18个C20 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{I.哈索},Theor。计算。科学。604、2--29(2015年;Zbl 1330.68046) 全文: 内政部
贾晓东;阿希姆·荣格;寇,惠;李庆国;赵浩然 拟连续域的所有笛卡尔闭范畴都由域组成。 (英语) Zbl 1328.68123号 西奥。计算。科学。 594143-150(2015年).MSC公司:68问题55 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{X.Jia}等人,Theor。计算。科学。594143-150(2015年;Zbl 1328.68123) 全文: 内政部 链接
A.R.Shir Ali Nasab;侯赛尼,S.N。 部分回拉补码重写。 (英语) 兹比尔1328.68104 西奥。计算。科学。 594, 44-64 (2015).MSC公司:2012年第68季度 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.R.S.A.Nasab}和\textit{S.N.Hosseini},Theor。计算。科学。594、44-64(2015年;Zbl 1328.68104) 全文: 内政部
马克·贝泽姆;可口、蒂埃里 单形集的克里普克模型。 (英语) Zbl 1350.18020号 西奥。计算。科学。 574, 86-91 (2015).MSC公司:18G30型 65楼03号 03B15号机组 03B70型 55单位10 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}和\textit{T.Coquand},Theor。计算。科学。574,86-91(2015;Zbl 1350.18020) 全文: 内政部
维勒·萨洛;伊尔卡·托尔马 符号动力学的范畴理论。 (英语) Zbl 1314.37011号 西奥。计算。科学。 567, 21-45 (2015).MSC公司:37B10号机组 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Salo}和\textit{I.Törmä},Theor。计算。科学。567,21-45(2015年;兹bl 1314.37011) 全文: 内政部 arXiv公司 反向链接: 卫生官员
吉木基诺西塔;力量,约翰 刚毛类的范畴理论结构。 (英语) Zbl 1418.18006号 西奥。计算。科学。 546, 145-163 (2014).MSC公司:18D20天 03E70型 18A35型 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kinoshita}和\textit{J.Power},Theor。计算。科学。546145-163(2014年;兹比尔1418.18006) 全文: 内政部
海兰德,J.M.E。 代数理论的基本要素。 (英语) Zbl 1420.18010号 西奥。计算。科学。 546, 132-144 (2014).MSC公司:18个C20 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.Hyland},Theor。计算。科学。546,132-144(2014年;兹bl 1420.18010) 全文: 内政部 arXiv公司
马塞洛·菲奥雷 群胚上前置范畴之间的解析函子。 (英语) 兹比尔1418.18003 西奥。计算。科学。 546, 120-131 (2014).MSC公司:18日第10天 18D05日 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.菲奥雷},Theor。计算。科学。546120--131(2014;Zbl 1418.18003) 全文: 内政部 arXiv公司
皮埃尔·卢伊斯·居里;理查德·加纳;马丁·霍夫曼 重新审视依赖型理论的范畴解释。 (英语) Zbl 1433.03029号 西奥。计算。科学。 546, 99-119 (2014).MSC公司:03B38型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}等人,Theor。计算。科学。546、99——119(2014;Zbl 1433.03029) 全文: 内政部
安娜·布卡洛;朱塞佩·罗索里尼 平衡空间的沉醉。 (英语) Zbl 1420.18006号 西奥。计算。科学。 546, 93-98 (2014).MSC公司:18立方厘米 2012年2月6日 18日第15天 18E10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucalo}和\textit{G.Rosolini},Theor。计算。科学。546、93--98(2014年;Zbl 1420.18006) 全文: 内政部
安德烈·鲍尔;戈登·普洛金(Gordon D.Plotkin)。;斯科特,丹娜·S。 可分离Scott域的笛卡尔闭范畴。 (英语) Zbl 1360.68572号 西奥。计算。科学。 546, 17-29 (2014).MSC公司:68问题55 03B40型 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}等人,Theor。计算。科学。546,17-29(2014;Zbl 1360.68572) 全文: 内政部
芭蕾舞演员Bolinches,A。;Cosme-Llópez,E。;Esteban-Romero,R。 一种基于最终非确定性自动机语言的描述。 (英语) Zbl 1359.68202号 西奥。计算。科学。 536, 1-20 (2014).MSC公司:70年第68季度 18B20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Ballester-Bolinches}等人,Theor。计算。科学。536,1--20(2014;Zbl 1359.68202) 全文: 内政部
埃西克,Z。 公理化加权同步树和加权双相似性。 (英语) Zbl 1359.68219号 西奥。计算。科学。 534,2-23(2014).MSC公司:68问题85 18立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{Z.埃西克},Theor。计算。科学。534,2--23(2014;Zbl 1359.68219) 全文: 内政部
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 参数化迭代的基本模块。 (英语) Zbl 1282.68168号 西奥。计算。科学。 523,56-85(2014).MSC公司:68问题65 18立方厘米10 70年第68季度 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,Theor。计算。科学。52356--85(2014;Zbl 1282.68168) 全文: 内政部
罗宾·科克特;理查德·加纳 限制类别作为丰富类别。 (英语) Zbl 1288.18007号 西奥。计算。科学。 523,37-55(2014). 审核人:菲利普·高彻(巴黎) MSC公司:18D20天 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{R.Cockett}和\textit{R.Garner},Theor。计算。科学。523,37-55(2014;Zbl 1288.18007) 全文: 内政部 arXiv公司
迈克·伯雷尔;罗宾·科克特;布莱恩·雷德蒙德 重新访问安全递归。I: 用于降低复杂性的范畴语义。 (英语) Zbl 1277.68115号 西奥。计算。科学。 515, 19-45 (2014).MSC公司:68问题55 18 C50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Burrell}等人,Theor。计算。科学。515、19-45(2014年;Zbl 1277.68115) 全文: 内政部
穆拉特·迪克 粗糙集和纹理的类别。 (英语) Zbl 1302.18005号 西奥。计算。科学。 488, 46-65 (2013).MSC公司:18比99 03E72型 18日第10天 PDF格式BibTeX公司 XML格式引用 \文本{M.Diker},Theor。计算。科学。488,46-65(2013;Zbl 1302.18005) 全文: 内政部
安德烈·鲍尔 链完备格的不动点定理在有效拓扑中的失效。 (英语) Zbl 1251.03092号 西奥。计算。科学。 430, 43-50 (2012). 审核人:John L.Bell(安大略省伦敦) MSC公司:65楼03号 18年2月25日 PDF格式BibTeX公司 XML格式引用 \文本{A.Bauer},Theor。计算。科学。430,43-50(2012年;兹bl 1251.03092) 全文: 内政部 arXiv公司
克劳迪奥·赫米达;罗伯特·D·坦能。 单体不确定性和可能世界的类别。 (英语) Zbl 1281.68148号 西奥。计算。科学。 430, 3-22 (2012).MSC公司:68问题55 70年第68季度 18立方厘米 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}和\textit{R.D.Tennent},Theor。计算。科学。430,3--22(2012;Zbl 1281.68148) 全文: 内政部
乌尔里克·戈拉斯;莱恩·兰伯斯;哈特穆特·埃里格;费尔南多·奥雷贾斯 带继承的属性图变换:使用抽象关键对进行有效的冲突检测和局部汇流分析。 (英语) Zbl 1284.68324号 西奥。计算。科学。 424, 46-68 (2012).MSC公司:2012年第68季度 18比99 68问题65 68升10 PDF格式BibTeX公司 XML格式引用 \textit{U.Golas}等人,Theor。计算。科学。424、46-68(2012年;Zbl 1284.68324) 全文: 内政部
卢、胡安;李盛刚;杨晓飞;傅文清 (M\)-不可分辨空间的范畴性质。 (英语) Zbl 1225.03069号 西奥。计算。科学。 412,第42号,5902-5908(2011).MSC公司:03E72型 18对25 18B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}等人,Theor。计算。科学。412,第42号,5902--5908(2011;Zbl 1225.03069) 全文: 内政部
巴托克·克林 结构操作语义的双代数:简介。 (英语) Zbl 1246.68150号 西奥。计算。科学。 412,第38号,5043-5069(2011). 审核人:卢茨·施罗德(不来梅) MSC公司:68问题55 第68季度85 87年第68季度 18立方厘米 PDF格式BibTeX公司 XML格式引用 \提奥,textit{B.Klin}。计算。科学。412,第38号,5043--5069(2011;Zbl 1246.68150) 全文: 内政部
A.巴兰。;A.库尔兹。 关于代数上的余代数。 (英语) Zbl 1232.68089号 西奥。计算。科学。 412,第38号,4989-5005(2011). 审核人:胡安·克莱门特·维达尔(瓦伦西亚) MSC公司:68问题65 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Balan}和\textit{A.Kurz},Theor。计算。科学。412,第38号,4989--5005(2011;Zbl 1232.68089) 全文: 内政部 链接
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 关于二阶迭代单子。 (英语) Zbl 1243.68206号 西奥。计算。科学。 412,第38号,4969-4988(2011). 审核人:卢茨·施罗德(不来梅) MSC公司:第68季度55 03D75号 第68季度第65季度 18立方厘米 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,Theor。计算。科学。412,第38号,4969-4988(2011;Zbl 1243.68206) 全文: 内政部
巴特·雅各布斯(编辑);米拉德·尼基(编辑);简·拉特(编辑);亚历山德拉·席尔瓦(编辑) 特刊:中国移动通信十周年大会。2010年3月26日至28日,Cypern,Paphos,计算机科学中的联合算法研讨会(CMCS)上的演示文稿为论文集。 (英语) Zbl 1254.68032号 西奥。计算。科学。412,第38号,4967-5110(2011)。 MSC公司:68-06 00B25型 68问题65 68问题55 18立方厘米 03B70型 PDF格式BibTeX公司 XML格式
阿尔伯特·维瑟 关于波兰符号的歧义。 (英语) 兹伯利1222.68112 西奥。计算。科学。 412,第28号,3404-3411(2011). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:65年第68季度 18日第10天 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{A.Visser},Theor。计算。科学。412,第28号,3404--3411(2011;Zbl 1222.68112) 全文: 内政部
巴特·雅各布斯 概率、分布单子和凸范畴。 (英语) Zbl 1218.18003号 西奥。计算。科学。 412,第28号,3323-3336(2011).MSC公司:18立方厘米15 03G12号机组 18立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{B.雅各布斯},Theor。计算。科学。412,第28号,3323--3336(2011;Zbl 1218.18003) 全文: 内政部
本诺·范登伯格;Moerdijk,比如 谓词代数集合论的几个方面。二: 可实现性。 (英语) Zbl 1215.03063号 西奥。计算。科学。 第412号,编号:1916-1940(2011).MSC公司:03E70型 03楼50 03G30型 18A35型 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}和\textit{I.Moerdijk},Theor。计算。科学。412,第20号,1916-1940(2011;Zbl 1215.03063) 全文: 内政部 arXiv公司
毛罗·贾斯克利奥夫;尤金尼奥·莫吉 作为单线变压器的单线变压器。 (英语) Zbl 1209.68107号 西奥。计算。科学。 411,编号51-52,4441-4466(2010).MSC公司:68甲18 68甲15 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaskelioff}和\textit{E.Moggi},Theor。计算。科学。411、编号51-52、4441-4466(2010;Zbl 1209.68107) 全文: 内政部
拉尔斯·比克达尔;克里斯蒂安·斯特夫林;雅各布·塔姆斯堡 递归度量空间方程的分类理论解。 (英语) Zbl 1205.68216号 西奥。计算。科学。 411,第47号,4102-4122(2010).MSC公司:68问题55 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,Theor。计算。科学。411,第47号,4102--4122(2010;Zbl 1205.68216) 全文: 内政部
布鲁姆,S.L。;埃西克,Z。 范畴代数的Mezei-Wright定理。 (英语) Zbl 1186.68244号 西奥。计算。科学。 411,第2号,341-359(2010).MSC公司:65年第68季度 18立方厘米 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.埃西克},Theor。计算。科学。411,第2号,341--359(2010;Zbl 1186.68244) 全文: 内政部
马塞洛·菲奥雷;中基尔胡尔 关于方程组自由代数的构造。 (英语) Zbl 1170.18006号 西奥。计算。科学。 410,第18期,1704-1729(2009). 审核人:米歇尔·赫伯特(开罗) MSC公司:18二氧化碳 08B20号 第68季度85 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiore}和\textit{C.-K.Hur},Theor。计算。科学。410,编号181704-1729(2009年;兹bl 1170.18006) 全文: 内政部
H.Peter Gumm Copower函子。 (英语) Zbl 1173.68042号 西奥。计算。科学。 410,编号12-13,1129-1142(2009).MSC公司:68问题85 18B20型 PDF格式BibTeX公司 XML格式引用 \文本{H.P.Gumm},Theor。计算。科学。410,编号12--131129--1142(2009;Zbl 1173.68042) 全文: 内政部
蒂莫西·波特 丰富了演化状态空间的类别和模型。 (英语) 邮编1148.18004 西奥。计算。科学。 405,编号1-2,88-100(2008).MSC公司:18D20天 68问题85 55单位10 18B20型 18G55型 18G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.波特},Theor。计算。科学。405,编号1--2,88-100(2008;Zbl 1148.18004) 全文: 内政部
张瑜 加密逻辑关系。 (英语) Zbl 1137.68024号 西奥。计算。科学。 394,编号1-2,39-63(2008).MSC公司:68第25页 03B40型 03B70型 03G30型 18立方厘米 94A60型 PDF格式BibTeX公司 XML格式引用 \文本{Y.Zhang},Theor。计算。科学。394,编号1--2,39-63(2008;Zbl 1137.68024) 全文: 内政部
伊恩·斯塔克 (pi)-演算的自由代数模型。 (英语) 兹伯利1134.68043 西奥。计算。科学。 390,编号2-3,248-270(2008).MSC公司:68问题85 18立方厘米 PDF格式BibTeX公司 XML格式引用 \提奥,textit{I.Stark}。计算。科学。390,编号2--3,248--270(2008;Zbl 1134.68043) 全文: 内政部
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 具有参数化迭代性的代数。 (英语) 兹比尔1131.18002 西奥。计算。科学。 388,编号1-3,130-151(2007). 审核人:达纳·皮奇乌(克雷奥瓦) MSC公司:18立方厘米 08B20号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,Theor。计算。科学。388,编号1--3,130-151(2007;Zbl 1131.18002) 全文: 内政部
赖洪亮;张德雪 完整和定向完整\(\Omega\)-类别。 (英语) Zbl 1131.18006号 西奥。计算。科学。 388,编号1-3,1-25(2007). 审核人:Dana Piciu(克雷奥瓦) MSC公司:18D20天 2007年6月 PDF格式BibTeX公司 XML格式引用 \textit{H.Lai}和\textit{D.Zhang},Theor。计算。科学。388,编号1--3,1--25(2007;Zbl 1131.18006) 全文: 内政部
彼得·弗雷德 重温核心代数。 (英语) Zbl 1118.18004号 西奥。计算。科学。 375,编号1-3,193-200(2007). 审核人:米歇尔·赫伯特(开罗) MSC公司:18天35分 03C05号机组 68甲18 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{P.Freyd},Theor。计算。科学。375,编号1--3,193-200(2007;Zbl 1118.18004) 全文: 内政部
马丁·海兰德;保罗·布莱恩·利维;戈登·普洛金;权力,约翰 将代数效应与延续相结合。 (英语) Zbl 1111.68067号 西奥。计算。科学。 375,编号1-3,20-40(2007).MSC公司:68问题55 2005年第68季度 第68季度10 18立方厘米 18立方厘米 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}等人,Theor。计算。科学。375,编号1--3,20--40(2007;Zbl 1111.68067) 全文: 内政部 链接
C·赫米达。;R.D.坦能。 可能世界语义的fibrational框架阿尔及利亚-喜欢语言。 (英语) Zbl 1135.68032号 西奥。计算。科学。 375,编号1-3,3-19(2007). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:68问题55 68甲15 18 C50 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}和\textit{R.D.Tennent},Theor。计算。科学。375,编号1--3,3--19(2007;Zbl 1135.68032) 全文: 内政部
伊萨尔·斯塔布 朝向“动态域”:完全连续的cocomplete(mathcal Q)-categories。 (英语) Zbl 1111.68073号 西奥。计算。科学。 373,编号1-2142-160(2007).MSC公司:68问题55 2007年6月 18D20天 03B70型 03G12号机组 18B35型 18个B05 PDF格式BibTeX公司 XML格式引用 \文本{I.Stubbe},Theor。计算。科学。373,编号1--2,142-160(2007;Zbl 1111.68073) 全文: 内政部 arXiv公司
马丁·海兰德;权力,约翰 离散Lawvere理论和计算效果。 (英语) Zbl 1112.18006号 西奥。计算。科学。 366,编号1-2144-162(2006). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:18立方厘米 68问题85 18日99 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}和\textit{J.Power},Theor。计算。科学。366,编号1--2,144-162(2006;Zbl 1112.18006) 全文: 内政部
丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 环境微积分语义的一种联合代数方法。 (英语) Zbl 1154.68088号 西奥。计算。科学。 366,编号1-2,121-143(2006).MSC公司:68问题85 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人,Theor。计算。科学。366,编号1--2,121-143(2006;Zbl 1154.68088) 全文: 内政部
阿达梅克,J。 代数和代数的交集。 (英语) Zbl 1110.18002号 西奥。计算。科学。 366,编号1-2,82-97(2006). 审核人:达娜·皮奇乌(克雷奥瓦) MSC公司:18立方厘米05 18B20型 08B99号 18个C20 99年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Adámek},Theor。计算。科学。366,编号1--2,82-97(2006;Zbl 1110.18002) 全文: 内政部
斯特凡·米利厄斯;劳伦斯·莫斯。 递归程序方案的分类理论解。 (英语) 兹比尔1154.68041 西奥。计算。科学。 366,第1-2、3-59号(2006).MSC公司:68号30 18立方厘米 18立方厘米 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Milius}和\textit{L.S.Moss},Theor。计算。科学。366,编号1--2,3--59(2006;Zbl 1154.68041) 全文: 内政部 arXiv公司
力量,约翰 计算效果的通用模型。 (英语) 邮编1123.18005 西奥。计算。科学。 364,第2期,254-269(2006). 审核人:弗拉基米尔·科门丹斯基(索菲亚·安蒂波利斯) MSC公司:18日第10天 18甲15 18个C20 18 C50 18A40型 18A35型 PDF格式BibTeX公司 XML格式引用 \文本{J.Power},Theor。计算。科学。364,编号2254-269(2006年;兹bl 1123.18005) 全文: 内政部
吉安路易吉·贝林;马丁·海兰德;埃德蒙·罗宾逊;城市,基督教 经典命题演算的范畴证明理论。 (英语) Zbl 1121.03086号 西奥。计算。科学。 364,第2期,146-165(2006). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03G30型 07年3月 03B05号 18比99 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Bellin}等人,Theor。计算。科学。364,第2号,146--165(2006;Zbl 1121.03086) 全文: 内政部
G.哈姆林。;斯托尔滕贝格·汉森,V。 两类有效的连续cpo。 (英语) Zbl 1110.03029号 西奥。计算。科学。 365,第3期,216-236(2006).MSC公司:03D45号 06B35号 18日第15天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Hamrin}和\textit{V.Stoltenberg-Hansen},Theor。计算。科学。365,第3号,216--236(2006;Zbl 1110.03029) 全文: 内政部
何塞·费亚德罗(编辑);简·拉特(编辑) 特刊:计算机科学CALCO 2005中的代数和余代数。论文选自2005年9月3日至6日在威尔士斯旺西举行的第一届国际会议上的发言。 (英语) Zbl 1125.68308号 西奥。计算。科学。366,第1-2期,180页。(2006). MSC公司:68-06 18-06 00B25型 PDF格式BibTeX公司 XML格式
马库斯·米歇尔布林克 接口是函子,程序是余代数——这是内涵型理论中的最后一个余代数定理。 (英语) Zbl 1099.03020号 西奥。计算。科学。 360,编号1-3,415-439(2006).MSC公司:03B70型 03G30型 68号30 35楼03号 18日第15天 68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Michelbrink},Theor。计算。科学。360,编号1--3,415--439(2006;Zbl 1099.03020) 全文: 内政部
马内斯,厄尼 布尔限制类别和紧单子。 (英语) Zbl 1097.68071号 西奥。计算。科学。 360,编号1-3,77-95(2006).MSC公司:68问题55 18立方厘米 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{E.Manes},Theor。计算。科学。360,编号1--3,77-95(2006;Zbl 1097.68071) 全文: 内政部
大卫·弗里根斯;罗伯特·戈德布拉特 最后多项式余代数的模态证明理论。 (英语) Zbl 1097.68091号 西奥。计算。科学。 360,第1-3、1-22号(2006).MSC公司:68问题85 03B45号 03财年03 03G30型 18立方厘米50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Friggens}和\textit{R.Goldblatt},Theor。计算。科学。360,编号1--3,1--22(2006;Zbl 1097.68091) 全文: 内政部
马克·坎比特 自动半群和类别。 (英语) Zbl 1095.20032号 西奥。计算。科学。 353,编号1-3,272-290(2006). 审核人:弗朗西娜·布兰切特·萨德里(格林斯博罗) MSC公司:2005年5月20日 20M50型 18B40码 65年第68季度 20升05 PDF格式BibTeX公司 XML格式引用 \西奥,textit{M.Kambits}。计算。科学。353,编号1--3,272--290(2006;Zbl 1095.20032) 全文: 内政部
J.莱尔德。 局部布尔域。 (英语) Zbl 1077.68049号 西奥。计算。科学。 342,第1期,132-148(2005).MSC公司:68问题55 03楼52 18 C50 PDF格式BibTeX公司 XML格式引用 \文本{J.Laird},Theor。计算。科学。342,编号1,132--148(2005;Zbl 1077.68049) 全文: 内政部
詹姆斯·沃雷尔 关于有限集函子的最后序列。 (英语) Zbl 1070.18004号 西奥。计算。科学。 338,第1-3号,184-199(2005). 审核人:保罗·班克斯顿(密尔沃基) MSC公司:18日第15天 18个B05 68问题65 03E75型 PDF格式BibTeX公司 XML格式引用 \textit{J.沃雷尔},Theor。计算。科学。338,编号1--3,184-199(2005;Zbl 1070.18004) 全文: 内政部
弗拉迪米罗·萨松;巴布亚州索波辛斯基 2类定位反应。 (英语) Zbl 1070.68107号 西奥。计算。科学。 333,第1-2号,297-327(2005).MSC公司:68问题85 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{V.Sassone}和\textit{P.Sobocinn ski},Theor。计算。科学。333,编号1--2,297--327(2005;Zbl 1070.68107) 全文: 内政部
拉尔夫·马提斯;塔尔莫乌斯塔卢 用变量绑定替换基础不完善的语法。 (英语) Zbl 1071.68063号 西奥。计算。科学。 327,编号1-2,155-174(2004).MSC公司:68问题65 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}和\textit{T.Uustalu},Theor。计算。科学。327,编号1--2,155-174(2004;Zbl 1071.68063) 全文: 内政部
玛丽娜·莱妮莎;权力,约翰;渡边浩史 操作语义学的范畴理论。 (英语) Zbl 1071.68059号 西奥。计算。科学。 327,编号1-2,135-154(2004).MSC公司:68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Lenisa}等人,Theor。计算。科学。327,编号1--2,135-154(2004;Zbl 1071.68059) 全文: 内政部
克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 石煤层。 (英语) Zbl 1075.68053号 西奥。计算。科学。 327,编号1-2,109-134(2004).MSC公司:68问题65 03B45号 03G25号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人,Theor。计算。科学。327,编号1--2,109-134(2004;Zbl 1075.68053) 全文: 内政部
科琳娜·科斯特 定义余代数逻辑的组合方法。 (英语) Zbl 1088.03030号 西奥。计算。科学。 327,编号1-2,45-69(2004).MSC公司:03B70型 03B45号 03G30型 18B20型 68问题65 PDF格式BibTeX公司 XML格式引用 \Theor,textit{C.Cêrstea}。计算。科学。327,编号1--2,45-69(2004;Zbl 1088.03030) 全文: 内政部 链接
阿达梅克,J。;波斯特,H.-E。 树上余代数和余代数表示。 (英语) Zbl 1086.68088号 西奥。计算。科学。 311,编号1-3,257-283(2004).MSC公司:68问题65 68问题85 18立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}和\textit{H.E.Porst},Theor。计算。科学。311,编号1-3257-283(2004年;兹bl 1086.68088) 全文: 内政部
克劳迪奥·赫米达;马特乌斯,P。 副类别。二: 概率自动机理论中的伴随词、断句和示例。 (英语) Zbl 1070.68096号 西奥。计算。科学。 311,编号1-3,71-103(2004).MSC公司:70年第68季度 18A05型 18A35型 18个40 18D05日 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}和\textit{P.Mateus},Theor。计算。科学。311,编号1--3,71-103(2004;Zbl 1070.68096) 全文: 内政部
姚佳燕 伊辛自动机的一些性质。 (英语) Zbl 1070.68079号 西奥。计算。科学。 314,编号1-2,251-279(2004).MSC公司:第68季度第45季度 18B20型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.姚},Theor。计算。科学。314,编号1--2,251--279(2004;Zbl 1070.68079) 全文: 内政部
安德烈亚·沙尔克;瓦莱里亚·德·佩瓦 位值集或如何建立线性逻辑模型。 (英语) Zbl 1055.03040号 西奥。计算。科学。 315,第1期,第83-107页(2004年). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03G30型 第03页 18A99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schalk}和\textit{V.de Paiva},Theor。计算。科学。315,编号1,83--107(2004;Zbl 1055.03040) 全文: 内政部
克里斯蒂亚诺·加尔卡尼奥 用于程序优化的两级语言。 (英语) Zbl 1072.68030号 西奥。计算。科学。 315,第1期,61-81(2004).MSC公司:68号30 68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \文本{C.Calcagno},Theor。计算。科学。315,编号1,61--81(2004;Zbl 1072.68030) 全文: 内政部
安德烈·鲍尔;拉尔斯·比克达尔;Dana S.斯科特。 等价空间。 (英语) Zbl 1059.18004号 西奥。计算。科学。 315,第1期,35-59(2004). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:18 C50 68问题55 18天15分 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}等人,Theor。计算。科学。315,第1号,35-59(2004;Zbl 1059.18004) 全文: 内政部
维克斯,S.J。;汤森,C.F。 双电力线的通用特征。 (英语) Zbl 1047.06006号 西奥。计算。科学。 316,编号1-3,297-321(2004).MSC公司:2012年2月6日 54B20型 54立方厘米 54B30型 03楼55 06立方厘米35 18层20 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Vickers}和\textit{C.F.Townsend},Theor。计算。科学。316,编号1--3,297--321(2004;Zbl 1047.06006) 全文: 内政部 链接
汤森,C.F。 通过定向完整偏序集显示区域设置回调。 (英语) Zbl 1048.18003号 西奥。计算。科学。 316,编号1-3,225-258(2004). 审核人:彼得·约翰斯通(剑桥) MSC公司:18年2月25日 06B35号 2012年2月6日 18A30型 18D20天 54D10号 PDF格式BibTeX公司 XML格式引用 \文本{C.F.Townsend},Theor。计算。科学。316,编号1--3225-258(2004;Zbl 1048.18003) 全文: 内政部
米克尔·奈加德;温克尔,格林 并发领域理论。 (英语) Zbl 1072.68062号 西奥。计算。科学。 316,编号1-3,153-190(2004).MSC公司:第68季度55 68问题85 18 C50 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Nygaard}和\textit{G.Winskel},Theor。计算。科学。316,编号1--3,153-190(2004;Zbl 1072.68062) 全文: 内政部
F.William,Lawvere 空间和数据类型的左右伴随运算。 (英语) 兹伯利1046.18001 西奥。计算。科学。 316,编号1-3,105-111(2004). 审核人:Hirokazu Nishimura(筑波) MSC公司:18A40型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.W.Lawvere},Theor(西奥)。计算。科学。316,编号1--3,105-111(2004;Zbl 1046.18001) 全文: 内政部
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 基于类的代数。 (英语) Zbl 1047.18005号 西奥。计算。科学。 316,编号1-3,3-23(2004). 审核人:瓦克拉夫·库贝克(普拉哈) MSC公司:18英镑05 18立方厘米 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,Theor。计算。科学。316,编号1--3,3--23(2004;Zbl 1047.18005) 全文: 内政部 arXiv公司
弗朗西斯科·杜兰;何塞·梅塞盖尔 结构化理论和制度。 (英语) Zbl 1070.68090号 西奥。计算。科学。 309,编号1-3,357-380(2003).MSC公司:60年第68季度 68问题65 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},Theor。计算。科学。309,编号1--3,357--380(2003;Zbl 1070.68090) 全文: 内政部
克劳迪奥·赫米达;保罗·马特乌斯 副类别。一: 内部副范畴和饱和部分代数。 (英语) Zbl 1050.18001号 西奥。计算。科学。 309,编号1-3,125-156(2003). 审核人:Richard John Steiner(格拉斯哥) MSC公司:18A05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}和\textit{P.Mateus},Theor。计算。科学。309,编号1--3,125-156(2003;Zbl 1050.18001) 全文: 内政部 arXiv公司
马特乌斯,P。;M·莫里斯。;努斯,C。;A.帕切科。;塞尔纳达斯,A。;塞尔纳达斯,C。 随机时间自动机的分类基础。 (英语) Zbl 1070.68076号 西奥。计算。科学。 308,编号1-3,393-427(2003).MSC公司:65年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateus}等人,Theor。计算。科学。308,编号1--3,393--427(2003;Zbl 1070.68076) 全文: 内政部