乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski Catoid和模态卷积代数。 (英语) 兹伯利07657582 代数大学。 84,第2期,第10号论文,40页(2023年).MSC公司:03B45号 2007年6月 20M75型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,代数大学。84,第2号,第10号论文,40页(2023;Zbl 07657582) 全文: 内政部
罗宾·赫希;Šemrl,贾什 具有恶魔加细的半群的有限表示性。 (英语) Zbl 07345060号 代数大学。 82,第2期,第28号论文,第14页(2021年).MSC公司:03G15年 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{J.Šemrl},代数大学。82,第2号,第28号论文,第14页(2021;Zbl 07345060) 全文: 内政部 arXiv公司
沈冲;习晓勇;徐晓泉;赵东生 在开放的过滤良好的空间上。 (英语) Zbl 1509.06005号 日志。计算方法。科学。 16,第4号,第18号论文,第10页(2020年).MSC公司:06B35号 54A20型 54天10分 54D45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Shen}等人,Log。计算方法。科学。16,第4号,第18号论文,10页(2020;Zbl 1509.06005) 全文: arXiv公司 链接
艾哈迈德·萨利姆·Al-Sibahi;托马斯·延森;莫格尔贝里,拉斯穆斯·埃杰勒斯;安德烈·索夫斯基 递归类型的Galois连接。 (英语) Zbl 1440.68042号 Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12065, 105-131 (2020).MSC公司:68甲18 2015年1月6日 68甲15 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Al-Sibahi}等人,Lect。注释计算。科学。12065105-131(2020年;兹比尔1440.68042) 全文: 内政部
杨,四川;鲁,云南;贾秀怡;李伟伟 在经典格的合成基础上构造三向概念格。 (英语) Zbl 1445.68213号 国际J近似推理 121, 174-186 (2020).MSC公司:68立方英尺 06B99号 PDF格式BibTeX公司 XML格式引用 \textit{S.Yang}等人,《国际近似推理》121174--186(2020;Zbl 1445.68213) 全文: 内政部
张忠喜;李庆国;张楠 \形式概念分析中的(m)-代数格。 (英语) Zbl 1434.68565号 数学。结构。计算。科学。 29,第10期,1556-1574(2019).MSC公司:68立方英尺 06B15号 06B23号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人,数学。结构。计算。科学。29,第10号,1556--1574(2019;Zbl 1434.68565) 全文: 内政部
袁亚燕;寇,惠 通过以下方式描述一致Smyth powerdomain的特征可行性研究-\(\land ^{\uparrow}\)-域。 (英语) Zbl 1395.06004号 罗茂康(编辑)等,第七届领域理论及其应用国际研讨会论文集,中国石家庄,2017年6月2-6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记333153-162(2017)。MSC公司:06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{H.Kou},电子。注释Theor。计算。科学。333153-162(2017;Zbl 1395.06004) 全文: 内政部
耿军;寇,惠 dcpos上的一致Hoare powerdomains。 (英语) Zbl 1422.06003号 拓扑应用程序。 232, 169-175 (2017).MSC公司:06B35号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{J.Geng}和\textit{H.Kou},拓扑应用。232169--175(2017年;Zbl 1422.06003) 全文: 内政部
姚伟 dcpos上的格值Scott拓扑。 (英语) Zbl 1378.06006号 数学。结构。计算。科学。 第4期第27页,第516-529页(2017年).MSC公司:06B35号 54A40型 2007年6月 PDF格式BibTeX公司 XML格式引用 \textit{W.Yao},数学。结构。计算。科学。27,第4号,516--529(2017;Zbl 1378.06006) 全文: 内政部
Akihisa山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普 再次访问AC-KBO。 (英语) Zbl 1379.68277号 理论与实践。日志。程序。 16,第2期,163-188(2016).MSC公司:68吨15 06年06月06日 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yamada}等人,理论与实践。日志。程序。16,第2号,163--188(2016;Zbl 1379.68277) 全文: 内政部
Hitoshi Furusawa;乔治·斯特鲁斯 缓和多重关系。 (英语) Zbl 1407.03080号 ACM事务处理。计算。日志。 17,第4号,第28条,第34页(2016年).MSC公司:03G25号 03E20型 2007年6月 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。17,第4号,第28条,第34页(2016;Zbl 1407.03080) 全文: 内政部 arXiv公司
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:第68季度85 03B70号 2007年6月 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部
伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 削弱相邻闭包中的可加性。 (英语) Zbl 1403.06008号 订单 33,第3期,503-516(2016).MSC公司:06B23号 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{R.Giacobazzi},第33号令,第3号,503--516(2016;Zbl 1403.06008) 全文: 内政部
何庆余;徐,罗山;杨凌云 偏序集的QC-continuity和QFS域的Hoare幂域。 (英语) Zbl 1329.54035号 拓扑应用程序。 197, 102-111 (2016). 审核人:K.P.Hart(代尔夫特) MSC公司:54个F05 06B35号 06B30号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Q.He}等人,拓扑应用。197102-111(2016年;Zbl 1329.54035) 全文: 内政部
费卢兹·切尔 复合图的非确定性语义。 (英语) Zbl 1338.18021号 离散Contin。动态。系统。,序列号。S公司 8,第6期,1357-1371(2015). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:18立方厘米 18 C50 68问题55 68问题65 03B70号 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{F.Tchier},离散Contin。动态。系统。,序列号。S 8,No.6,1357--1371(2015;Zbl 1338.18021) 全文: 内政部
袁亚燕;寇,惠 一致的Plotkin powerdomains。 (英语) Zbl 1306.06005号 拓扑应用程序。 178, 339-344 (2014). 审核人:Ittay Weiss(苏瓦) MSC公司:06B35号 54A35型 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{H.Kou},拓扑应用。178339-344(2014年;兹比尔1306.06005) 全文: 内政部
袁亚燕;寇,惠 一致的Hoare powerdomains。 (英语) Zbl 1306.06004号 拓扑应用程序。 178, 40-45 (2014). 审核人:Ittay Weiss(苏瓦) MSC公司:06B35号 54A35型 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{H.Kou},拓扑应用。178、40-45(2014年;Zbl 1306.06004) 全文: 内政部
袁亚燕;寇,惠 一致的Smyth电源域。 (英语) Zbl 1303.06006号 拓扑应用程序。 173, 264-275 (2014). 审核人:Ittay Weiss(苏瓦) MSC公司:06B35号 第54页第35页 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{H.Kou},拓扑应用。173264--275(2014年;Zbl 1303.06006) 全文: 内政部
穆申成;何塞·努诺·奥利维拉 从Galois连接进行编程。 (英语) Zbl 1257.68057号 J.日志。代数。程序。 81,第6号,680-704(2012).MSC公司:68号30 2015年1月6日 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Mu}和\textit{J.N.Oliveira},J.Log。代数。程序。81、第6号、680--704(2012;Zbl 1257.68057) 全文: 内政部
阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯 高阶正则代数中的自动推理。 (英语) Zbl 1364.68326号 Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560,66-81(2012)。MSC公司:68吨15 2015年1月6日 2007年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}和\textit{G.Struth},莱克特。注释计算。科学。7560、66-81(2012年;Zbl 1364.68326) 全文: 内政部
普洛塔萨,维奥雷尔 单调布尔变换器的代数。 (英语) Zbl 1349.68051号 Simao,Adenilso(编辑)等,《形式方法、基础和应用》。2011年9月26日至30日,巴西圣保罗,第14届巴西研讨会,SBMF 2011。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25031-6/pbk)。计算机科学课堂讲稿7021140-155(2011)。MSC公司:68号30 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa},莱克特。注释计算。科学。7021140-155(2011年;Zbl 1349.68051) 全文: 内政部
沃尔特·古特曼 一般正确性的固定点。 (英语) Zbl 1216.68073号 J.日志。代数。程序。 80,第6期,248-265(2011).MSC公司:68甲19 99年6月 2016年60月 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。程序。80,第6号,248--265(2011;Zbl 1216.68073) 全文: 内政部
Natarajan Shankar PVS中的固定点和搜索。 (英语) Zbl 1186.68302号 Müller,Peter(编辑),软件工程高级讲座。激光暑期学校2007/2008。柏林:施普林格出版社(ISBN 978-3-642-13009-0/pbk)。计算机科学课堂讲稿6029140-161(2010)。MSC公司:第68季度第60季度 06B23号 68吨15 68周05 PDF格式BibTeX公司 XML格式引用 \textit{N.Shankar},莱克特。注释计算。科学。6029140-161(2010年;Zbl 1186.68302) 全文: 内政部
卡斯皮,P。;本韦尼斯特,A。;卢布林曼(R.Lublinerman)。;特里帕基斯,S。 没有导演的演员:卡尼安对异质系统的看法。 (英语) Zbl 1237.68122号 Majumdar,Rupak(编辑)等人,《混合系统:计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00601-2/pbk)。计算机科学课堂讲稿5469,46-60(2009)。MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{P.Caspi}等人,Lect。注释计算。科学。5469,46-60(2009年;Zbl 1237.68122) 全文: 内政部
戴维·施密特(David A.Schmidt)。 从逻辑关系定义的抽象解释中提取程序逻辑。 (英语) Zbl 1316.68042号 Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11日至14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173,339-356(2007)。MSC公司:68号30 03B44号 03B70号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Schmidt},电子。注释Theor。计算。科学。173、339--356(2007年;Zbl 1316.68042) 全文: 内政部
布莱恩·赫利希;彼得·沙赫特;哈拉尔德·森德加德 Un-Kleene布尔方程求解。 (英语) Zbl 1119.68049号 发现的国际期刊。计算。科学。 18,第2期,227-250(2007).MSC公司:68号30 68周25 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{B.Herlihy}等人,国际期刊发现。计算。科学。18,第2号,227--250(2007;Zbl 1119.68049) 全文: 内政部
朱尔斯·德沙奈斯;Möller,伯恩哈德 关系的最小自反点。 (英语) Zbl 1081.06001号 高-订单符号。计算。 18,编号1-2,51-77(2005).MSC公司:06年06月06日 06B23号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{B.Möller},高-订单符号。计算。18,编号1--2,51-77(2005;Zbl 1081.06001) 全文: 内政部 链接
徐晓泉;刘英明 正则关系和严格完全正则序空间。 (英语) Zbl 1035.54017号 拓扑应用程序。 135,编号1-3,1-12(2004). 审核人:汉斯·彼得·昆齐(Rondebosch) MSC公司:54个F05 第54天 03E20型 10年6月 PDF格式BibTeX公司 XML格式引用 \textit{X.-Q.Xu}和\textit{Y.M.Liu},拓扑应用。135,编号1--3,1--12(2004;Zbl 1035.54017) 全文: 内政部
马内斯,厄尼 集合的Monads。 (英语) Zbl 1064.18003号 Hazewinkel,M.(编辑),《代数手册》。第3卷。阿姆斯特丹:爱思唯尔(ISBN 0-444-51264-0/hbk)。67-153 (2003). 审核人:彼得·约翰斯通(剑桥) MSC公司:18立方厘米 06B35号 08C05号机组 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Manes},in:代数手册。第3卷。阿姆斯特丹:爱思唯尔。67-153(2003年;Zbl 1064.18003)
朱尔斯·德沙奈斯;Möller,伯恩哈德 刻画Kleene代数中的确定性。 (英语) Zbl 1004.68105号 信息科学。 139,第3-4、253-273号(2001年).MSC公司:70年第68季度 03G15年 08A70型 2007年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{B.Möller},信息科学。139,编号3--4,253--273(2001;Zbl 1004.68105) 全文: 内政部
弗朗西斯科·兰扎托 CPO上的闭包形成完整的格。 (英语) Zbl 1004.06007号 Inf.计算。 152,第2期,236-249(1999).MSC公司:2015年1月6日 06B35号 68问题55 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato},Inf.计算。152,第2号,236--249(1999;Zbl 1004.06007) 全文: 内政部 链接
雅各布·雷霍夫;托本·莫根森。 有限半格中的可牵引约束。 (英语) Zbl 1482.68093号 Cousot,Radhia(编辑)等人,《静态分析》。1996年9月24日至26日,第三届国际研讨会,SAS’96,德国亚琛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1145, 285-300 (1996).MSC公司:68号30 2012年1月6日 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{J.Rehof}和\textit{T.Æ.Mogensen},Lect。注释计算。科学。1145285-300(1996年;Zbl 1482.68093) 全文: 内政部
彼得·布拉斯 正交补偏序集的对称链划分。 (英语) 兹比尔0837.00607 国际J.Theor。物理学。 34,第8期,1241-1245(1995).MSC公司:06A99号 PDF格式BibTeX公司 XML格式引用 \textit{P.Brass},国际期刊Theor。物理学。34,第8号,1241--1245(1995;Zbl 0837.06007) 全文: 内政部
奥拉·彼得森;阿利斯泰尔·莫法特 自适应排序框架。 (英语) Zbl 0827.68032号 离散应用程序。数学。 59,第2期,153-179(1995).MSC公司:68页第10页 06A07年 05立方厘米85 PDF格式BibTeX公司 XML格式引用 \textit{O.Peterson}和\textit{A.Moffat},离散应用程序。数学。59,第2号,153--179(1995;Zbl 0827.68032) 全文: 内政部
魏家旺 不动点变换的正确性。 (英语) 兹比尔0809.08003 西奥。计算。科学。 129,第1期,123-142(1994). 审核人:C.Masalagiu(伊阿什) MSC公司:08A70型 06年06月06日 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Wei},Theor。计算。科学。129,编号1,123--142(1994;Zbl 0809.08003) 全文: 内政部
金·万豪酒店 抽象解释框架。 (英语) Zbl 0790.68074号 学报信息。 30,第2期,103-129(1993).MSC公司:第68季度第60季度 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott},Acta Inf.30,No.2,103--129(1993;Zbl 0790.68074) 全文: 内政部
莱因霍尔德·赫克曼 幂域和二阶谓词。 (英语) 兹比尔0784.68054 西奥。计算。科学。 111,编号1-2,59-88(1993). 审核人:R.赫克曼 MSC公司:68问题55 03B50号 06A99号 06B35号 05年6月 20米25 22A26号 54B20型 54立方厘米 54D80型 PDF格式BibTeX公司 XML格式引用 \文本{R.Heckmann},Theor。计算。科学。111,编号1--2,59-88(1993;Zbl 0784.68054) 全文: 内政部
背面,R.J.R。;冯·赖特,J。 在程序规范中结合了天使、恶魔和奇迹。 (英语) Zbl 0754.68078号 西奥。计算。科学。 100,编号2365-383(1992).MSC公司:68问题55 第68季度第60季度 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{J.von Wright},Theor。计算。科学。100,第2号,365-383(1992;Zbl 0754.68078) 全文: 内政部
Shmuel Katz;多龙·贝利德 使用代表性交错序列验证分布式程序。 (英语) Zbl 0773.68053号 分布计算。 6,第2期,107-120(1992).MSC公司:第68季度第60季度 68宽15 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},分布计算。6,编号2107-120(1992年;Zbl 0773.68053) 全文: 内政部
布德里加,努里丁;法提·埃卢米;阿里·米莉 规范格上:规范方法的应用。 (英语) Zbl 0782.68077号 正式Asp。计算。 4,第6期,544-571(1992).MSC公司:第68季度第60季度 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{N.Boudriga}等人,正式Asp。计算。4,第6号,544--571(1992;Zbl 0782.68077) 全文: 内政部
莱因霍尔德·赫克曼 低功率域和高功率域结构在所有cpo上通勤。 (英语) Zbl 0748.68038号 信息处理。莱特。 40,第1期,7-11(1991).MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckmann},Inf.过程。莱特。40,编号1,7--11(1991;Zbl 0748.68038) 全文: 内政部
莱因·福尼尔;格雷戈·冯·博克曼 DCP模型中的等效性。 (英语) Zbl 0737.68031号 西奥。计算。科学。 87,第1期,97-114(1991). 审核人:格里戈拉斯 MSC公司:2010年第68季度 06年06月06日 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Fournier}和\textit{G.von Bochmann},Theor。计算。科学。87,第1号,97--114(1991;Zbl 0737.68031) 全文: 内政部
帕尔库诺夫,D.E。 具有杰出理想的可数范畴布尔代数。 (英语) Zbl 0647.03025号 螺柱日志。 46, 121-135 (1987). 审核人:S.R.科加洛夫斯基 MSC公司:03C35号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Pal’chunov},Stud.Log(研究日志)。46、121--135(1987;Zbl 0647.03025) 全文: 内政部