普洛塔萨,维奥雷尔;尤利亚·德拉戈米尔;斯塔夫罗斯·特里帕基斯 反应系统的精化演算。 (英语) Zbl 1487.68160号 Inf.计算。 285,B部分,文章ID 104819,43 p.(2022).MSC公司:第68季度第60季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,《信息计算》。285,B部分,文章ID 104819,43 p.(2022;Zbl 1487.68160) 全文: 内政部 arXiv公司
佐尔坦,福尔öp;福格勒、海科 加权树语言的主要抽象族。 (英语) Zbl 1526.68005号 Inf.计算。 282,文章ID 104657,33 p.(2022).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{H.Vogler},Inf.Comput。282,文章ID 104657,33 p.(2022;Zbl 1526.68005) 全文: 内政部
文、汤柳;彭杰;薛、缙云;你,珍;兰·宋 严格的线性化能力和抽象原子性。 (英语) Zbl 1458.68135号 发现的国际期刊。计算。科学。 32,编号1,1-35(2021).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{T.Wen}等人,国际期刊发现。计算。科学。32,编号1,1-35(2021;Zbl 1458.68135) 全文: 内政部
努诺州阿马利奥 健全和放松的行为遗传。 (英语) Zbl 1486.68037号 Adamatzky,Andrew(编辑)等人,《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:施普林格。新兴复杂性。计算。35255-298(2020年)。MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Amálio},紧急情况复杂。计算。35255-298(2020;Zbl 1486.68037) 全文: 内政部 链接
彼得·拉姆米奇;安德烈亚斯·洛赫比勒 高效数据结构的自动细化:两种方法的比较。 (英语) Zbl 1459.68228号 J.汽车。推理 63,第1号,53-94(2019).MSC公司:68伏15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}和\textit{A.Lochbihler},J.Autom。推理63,No.1,53--94(2019;Zbl 1459.68228) 全文: 内政部
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯(Manuel A.Martins)。 反应系统逐步发展的逻辑。 (英语) Zbl 1400.68125号 西奥。计算。科学。 744, 78-96 (2018).MSC公司:第68季度第60季度 03B70号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,Theor。计算。科学。744,78-96(2018;Zbl 1400.68125) 全文: 内政部 链接
托拜厄斯·登金格 带存储的加权自动机的近似。 (英语) Zbl 1483.68161号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256、91-105(2017)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Denkinger},电子。程序。西奥。计算。科学。(EPTCS)256,91--105(2017;Zbl 1483.68161) 全文: arXiv公司 链接
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯(Manuel A.Martins)。 带粘合剂的动态逻辑及其在反应系统开发中的应用。 (英语) Zbl 1482.68143号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第13届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 422-440 (2016).MSC公司:第68季度第60季度 03B70号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,Lect。注释计算。科学。9965,422--440(2016;Zbl 1482.68143) 全文: 内政部 链接
托比亚斯·尼普科 函数搜索树的自动函数正确性证明。 (英语) Zbl 1478.68065号 Blanchette,Jasmin Christian(编辑)等人,交互定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9807, 307-322 (2016).MSC公司:68第05页 第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow},莱克特。注释计算。科学。9807307--322(2016;Zbl 1478.68065) 全文: 内政部
西蒙·马提尼 编程语言中的类型,介于建模、抽象和正确性(扩展抽象)之间。 (英语) Zbl 1475.68049号 贝克曼,阿诺德(编辑)等人,《追求宇宙》。2016年6月27日至7月1日,在法国巴黎举行的第12届欧洲可计算性会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9709, 164-169 (2016).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Martini},莱克特。注释计算。科学。9709164-169(2016年;Zbl 1475.68049) 全文: 内政部
理查德·巴纳赫;杰斯克,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) 全文: 内政部
Dang,Han Hing当汉兴;Möller,Bernhard B。 扩展传递分离逻辑。 (英语) Zbl 1330.03071号 J.日志。代数。方法计划。 84,第3期,303-325(2015).MSC公司:03B70号 03G25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.B.Möller},J.Log。代数。方法计划。84,第3号,303--325(2015;Zbl 1330.03071) 全文: 内政部
克劳迪奥·赫米达;美国雷迪。;Edmund P.罗宾逊。 逻辑关系和参数——用于范畴理论和编程语言的Reynolds程序。 (英语) Zbl 1337.68052号 Power,John(ed.)等人,《代数、余代数和拓扑学研讨会论文集》(WACT 2013),英国巴斯,2013年3月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记303149-180,仅电子版(2014)。MSC公司:68甲15 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}等人,《电子》。注释Theor。计算。科学。303149-180(2014年;Zbl 1337.68052) 全文: 内政部
卡罗·福里亚(Carlo A.Furia)。;贝特朗·梅耶;谢尔盖·维尔德 循环不变量:分析、分类和示例。 (英语) Zbl 1305.68054号 ACM计算。Surv公司。 46,第3期,第34号论文,51页(2014).MSC公司:68号30 第68季度第60季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Furia}等人,ACM计算。Surv公司。46,第3号,第34号文件,第51页(2014年;Zbl 1305.68054) 全文: 内政部 arXiv公司
米克尔·伯特兰;弗朗西斯科·巴博特;气候,八月 分布式系统模型的形式化通信消除和序列化等价证明。 (英语) Zbl 1360.68471号 学报信息。 51,第6期,347-418(2014).MSC公司:2010年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bertran}等人,《信息学报》51,第6期,第347--418页(2014年;Zbl 1360.68471) 全文: 内政部
尼尔·斯卡索普;格雷厄姆·赫顿 工作,包裹,修理,折叠。 (英语) Zbl 1297.68054号 J.功能。程序。 24,第1期,113-127(2014).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}和\textit{G.Hutton},J.Funct。程序。24,第1号,113--127(2014;Zbl 1297.68054) 全文: 内政部
安德鲁·布莱克。 面向对象编程:一些历史和未来五十年的挑战。 (英语) Zbl 1358.68062号 Inf.计算。 231, 3-20 (2013).MSC公司:68甲19 68-03 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Black},Inf.计算。231、3--20(2013年;Zbl 1358.68062) 全文: 内政部 arXiv公司
Leino,K.Rustan M。;夸特·叶塞诺夫 Chalice中堆操作代码的逐步细化。 (英语) Zbl 1259.68034号 正式Asp。计算。 24,编号4-6,519-535(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{K.Yessenov},正式Asp。计算。24、编号4--6519--535(2012;Zbl 1259.68034) 全文: 内政部 链接
马克·艾吉尔;弗莱德里克·博朗格;比拉尔·坎索 用于建模和测试复杂软件系统的正式抽象框架。 (英语) Zbl 1279.68193号 西奥。计算。科学。 455, 66-97 (2012).MSC公司:第68季度第60季度 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{M.Aiguier}等人,Theor。计算。科学。455、66-97(2012年;Zbl 1279.68193) 全文: 内政部
保罗·博尔巴;利奥波多·泰西拉;罗希特·盖伊 软件产品线细化理论。 (英语) Zbl 1254.68072号 西奥。计算。科学。 455, 2-30 (2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Borba}等人,Theor。计算。科学。455,2--30(2012;Zbl 1254.68072) 全文: 内政部
Dang,Han Hing当汉兴;Möller,伯恩哈德 传递分离逻辑。 (英语) Zbl 1330.03070号 Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560,1-16(2012)。MSC公司:03B70号 03G25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.Möller},莱克特。注释计算。科学。7560,1-16(2012;Zbl 1330.03070) 全文: 内政部 链接
普洛塔萨,维奥雷尔;回来了,拉尔夫·约翰 具有数据优化的不变图。 (英语) Zbl 1242.68074号 正式Asp。计算。 24,第1期,67-95(2012).MSC公司:68号30 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}和\textit{R.-J.Back},正式Asp。计算。24,第1号,67--95(2012;Zbl 1242.68074) 全文: 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 为并发和数据构建模式接口理论。 (英语) 兹比尔1312.68149 Mossakowski,Till(编辑)等人,代数开发技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学讲义7137,1-12(2012)。MSC公司:第68季度85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Lect。注释计算。科学。7137,1-12(2012年;兹比尔1312.68149) 全文: 内政部
R.M.麦康奈尔。;Mehlhorn,K。;Näher,S。;施韦策,P。 验证算法。 (英语) Zbl 1298.68289号 计算。科学。版次。 5,第2期,119-161(2011).MSC公司:68瓦01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.M.McConnell}等人,《计算》。科学。第5版,第2号,119--161(2011;Zbl 1298.68289) 全文: 内政部
刘一静;邱宗燕;龙,权 WP语义和行为子类型。 (英语) Zbl 1351.68167号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,154-172(2011)。MSC公司:第68季度第60季度 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,Lect。注释计算。科学。6916、154--172(2011年;Zbl 1351.68167) 全文: 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 并发和数据的接口理论。 (英语) Zbl 1216.68187号 西奥。计算。科学。 412,第28号,3101-3121(2011).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Theor。计算。科学。412,第28号,3101--3121(2011;Zbl 1216.68187) 全文: 内政部
卡斯珀·斯文森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基 党派性、状态性和从属类型。 (英语) Zbl 1331.03020号 Ong,Luke(编辑),《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21690-9/pbk;978-3-662-21691-6/电子书)。计算机科学讲座笔记6690198-212(2011)。MSC公司:03B40型 03年11月15日 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Svendsen}等人,Lect。注释计算。科学。6690198--212(2011年;Zbl 1331.03020) 全文: 内政部
彼得·施密特(Peter H.Schmitt)。;马蒂亚斯·乌尔布里奇;本杰明·韦伊 Java动态逻辑中的动态帧。 (英语) Zbl 1308.68046号 Beckert,Bernhard(编辑)等人,面向对象软件的形式验证。2010年6月28日至30日,法国巴黎,FoVeOOS 2010国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18069-9/pbk)。计算机科学课堂讲稿6528,138-152(2011)。MSC公司:68号30 03B70号 68甲19 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Schmitt}等人,Lect。注释计算。科学。6528,138--152(2011;Zbl 1308.68046) 全文: 内政部
格雷厄姆·赫顿;毛罗·贾斯克利奥夫;安迪·吉尔 分解折叠以实现更快的功能。 (英语) Zbl 1210.68047号 J.功能。程序。 20,编号3-4,353-373(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}等人,J.Funct。程序。20,编号3-4-353-373(2010年;兹bl 1210.68047) 全文: 内政部
伊万娜·菲利波维奇;彼得·奥赫恩;诺姆·里内茨基;杨红seok 并发对象的抽象。 (英语) Zbl 1209.68156号 西奥。计算。科学。 411,编号51-52,4379-4398(2010).MSC公司:68第05页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Filipović}等人,Theor。计算。科学。411、编号51-52、4379-4398(2010;Zbl 1209.68156) 全文: 内政部
伊万娜·菲利波维奇;彼得·奥赫恩;诺亚·托普·史密斯;杨红seok 指责客户:在存在指针的情况下进行数据优化。 (英语) Zbl 1214.68118号 正式Asp。计算。 22,第5期,547-583(2010).MSC公司:68号01 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Filipović}等人,正式Asp。计算。22,第5号,547--583(2010;Zbl 1214.68118) 全文: 内政部 哈尔
普洛塔萨,维奥雷尔;回来了,拉尔夫·约翰 基于不变量的程序的数据细化。 (英语) Zbl 1342.68095号 Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会会议记录(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259,143-163(2009)。MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}和\textit{R.-J.Back},电子。注释Theor。计算。科学。259、143--163(2009年;Zbl 1342.68095) 全文: 内政部
安迪·吉尔;格雷厄姆·赫顿 工作机/包装器转换。 (英语) Zbl 1178.68135号 J.功能。程序。 19,第2期,227-251(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Gill}和\textit{G.Hutton},J.Funct。程序。19,第2号,227--251(2009;Zbl 1178.68135) 全文: 内政部
拉尔夫·拉梅尔;瓦迪姆·扎伊特舍夫 语法趋同导论。 (英语) 兹比尔1211.68092 Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423246-260(2009)。MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel}和\textit{V.Zaytsev},莱克特。注释计算。科学。5423246--260(2009年;Zbl 1211.68092) 全文: 内政部
权力,约翰;田中、美琪 按值调用编程语言中数据优化的公理。 (英语) Zbl 1336.68032号 Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,281-302(2009)。MSC公司:68甲18 18 C50 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Power}和\textit{M.Tanaka},电子。注释Theor。计算。科学。225、281--302(2008年;Zbl 1336.68032) 全文: 内政部
约翰逊,迈克尔;戴维·诺曼;权力,约翰 数据精化的范畴理论模型。 (英语) Zbl 1336.68035号 Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,21-38(2009)。MSC公司:68号30 03G30型 18 C50 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Johnson}等人,《电子》。注释Theor。计算。科学。225,21-38(2008年;兹bl 1336.68035) 全文: 内政部
罗纳尔德·米德尔科普;科内利斯·惠泽;路德·柯伊伯;埃里克·J·路易特。 非层次对象结构的不变量。 (英语) Zbl 1279.68058号 Moreira,Anamaria Martins(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2006),Natal,Rio Grande de Norte,巴西,2006年9月17日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记195,211-229(2008)。MSC公司:68号30 68甲19 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Middelkoop}等人,电子。注释Theor。计算。科学。195211-229(2008年;Zbl 1279.68058) 全文: 内政部
蒂亚戈·马索尼;罗希特·盖伊;保罗·博尔巴 用于在对象模型和面向对象程序之间建立形式一致性的框架。 (英语) Zbl 1279.68057号 Moreira,Anamaria Martins(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2006),Natal,Rio Grande de Norte,巴西,2006年9月17日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记195189-209(2008)。MSC公司:68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Massoni}等人,《电子》。注释Theor。计算。科学。195189-209(2008年;Zbl 1279.68057) 全文: 内政部
桑迪普·雷;沃伦·亨特(Warren A.jun Hunt)。;约翰·马修斯;J.Strother摩尔 对程序验证策略的机械分析。 (英语) Zbl 1140.68060号 J.汽车。推理 40,第4期,245-269(2008).MSC公司:68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ray}等人,J.Autom。推理40,No.4,245--269(2008;Zbl 1140.68060) 全文: 内政部
托马斯·桑顿 在细化下保持概率信息流。 (英语) Zbl 1146.68401号 Inf.计算。 206,编号2-4,213-249(2008).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{T.Santen},Inf.计算。206,编号2--4,213--249(2008;Zbl 1146.68401) 全文: 内政部
米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 CASL规范的观测解释。 (英语) Zbl 1141.68026号 数学。结构。计算。科学。 18,第2期,325-371(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人,《数学》。结构。计算。科学。18,第2号,325--371(2008;Zbl 1141.68026) 全文: 内政部
卡尔·克里;罗伯特·哈珀 多态和递归类型的句法关系。 (英语) Zbl 1277.68119号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,259-299(2007)。MSC公司:68问题55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Crary}和\textit{R.Harper},电子。注释Theor。计算。科学。172259--299(2007;Zbl 1277.68119) 全文: 内政部
Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒 顺序面向对象程序的规范和验证挑战。 (英语) Zbl 1121.68074号 正式Asp。计算。 19,第2期,159-189(2007).MSC公司:第68季度第60季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人,正式Asp。计算。19,第2号,159--189(2007;Zbl 1121.68074) 全文: 内政部 链接
戴维·诺曼(David A.Naumann)。 对象不变量和模拟的基于断言的封装。 (英语) Zbl 1123.68022号 正式Asp。计算。 19,第2期,205-224(2007).MSC公司:68甲19 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},正式Asp。计算。19,第2号,205-224(2007;Zbl 1123.68022) 全文: 内政部
戴维·诺曼(David A.Naumann)。 观察纯度和封装。 (英语) Zbl 1116.68052号 西奥。计算。科学。 376,第3号,205-224(2007).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。376,第3号,205--224(2007;Zbl 1116.68052) 全文: 内政部
德意志,摩什;马丁·亨森。 在一个失败的范例中对精细化的分析。 (英语) Zbl 1105.68070号 正式Asp。计算。 第3号第18页,第329-363页(2006年).MSC公司:第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}和\textit{M.C.Henson},正式Asp。计算。18,第3号,329--363(2006;Zbl 1105.68070) 全文: 内政部
米歇尔·比多特;罗尔夫·亨尼克 基于构造函数的观测逻辑。 (英语) 兹比尔1088.68112 J.日志。代数。程序。 67,第1-2、3-51号(2006).MSC公司:68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker},J.Log。代数。程序。67,编号1--2,3--51(2006;Zbl 1088.68112) 全文: 内政部
孙孟;路易斯·巴博萨。 作为余代数的组件:精化维度。 (英语) Zbl 1086.68031号 西奥。计算。科学。 351,第2期,276-294(2006).MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}和\textit{L.S.Barbosa},Theor。计算。科学。351,第2号,276--294(2006;Zbl 1086.68031) 全文: 内政部 链接
J.鲁比奥。;谢尔盖拉特,F。 使用局部有效矩阵进行计算。 (英语) Zbl 1101.68496号 国际期刊计算。数学。 82,第10期,1177-1189(2005).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Rubio}和\textit{F.Sergeraert},国际计算机杂志。数学。82,第10号,1177--1189(2005;Zbl 1101.68496) 全文: 内政部
米歇尔·比多特;罗尔夫·亨尼克;亚历山大·库兹 观察逻辑、基于构造的逻辑及其二重性。 (英语) Zbl 1038.68079号 西奥。计算。科学。 298,第3471-510号(2003年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人,Theor。计算。科学。298,第3号,471--510(2003;Zbl 1038.68079) 全文: 内政部
彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。 JML中框架属性的模块化规范。 (英语) Zbl 1005.68583号 并发计算。实际。实验。 15,第2期,117-154(2003).MSC公司:68单位99 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Müller}等人,并发计算。实际。实验15,编号2,117--154(2003;Zbl 1005.68583) 全文: 内政部 链接
马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 通道抽象的安全实现。 (英语) Zbl 1009.68084号 Inf.计算。 174,第1期,第37-83页(2002年).MSC公司:第68季度85 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人,《信息计算》。174,编号1,37--83(2002;Zbl 1009.68084) 全文: 内政部 链接
美国雷迪。 类Algol语言中的对象和类。 (英语) Zbl 1009.68021号 Inf.计算。 172,第1号,63-97(2002).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{美国红},Inf.Comput。172,第1号,63-97(2002年;Zbl 1009.68021) 全文: 内政部 链接
莱默,K。;斯特罗珀,P。 精化和状态机抽象。 (英语) Zbl 0989.68088号 西奥。计算。科学。 266,第1-2号,195-235(2001).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lermer}和\textit{P.Strooper},Theor。计算。科学。266,编号1--2,195-235(2001;Zbl 0989.68088) 全文: 内政部
埃里克·波尔 子类型的联合语义。 (英语) Zbl 0990.18004号 西奥。通知。申请。 35,第1号,61-81(2001). 审核人:P.Bankstone(密尔沃基) MSC公司:18 C50 68问题55 第68季度85 68甲19 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{E.Poll},Theor。通知。申请。35,第1号,61--81(2001;Zbl 0990.18004) 全文: 内政部 Numdam编号 Numdam编号 欧洲DML
约瑟夫·戈根(Joseph A.Goguen)。;格兰特·马尔科姆 隐藏的议程。 (英语) Zbl 0946.68070号 西奥。计算。科学。 245,第1期,55-101(2000).MSC公司:65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{G.Malcolm},Theor。计算。科学。245,编号1,55-101(2000;兹bl 0946.68070) 全文: 内政部
帕达维茨,P。 摆动类型=功能+关系+过渡系统。 (英语) 兹伯利0947.68098 西奥。计算。科学。 243,编号1-2,93-165(2000).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \文本{P.Padawitz},Theor。计算。科学。243,编号1--2,93-165(2000;Zbl 0947.68098) 全文: 内政部
Möller,伯恩哈德 使用非循环列表和循环列表进行计算。 (英语) Zbl 0943.68038号 信息科学。 119,编号3-4,135-154(1999).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller},信息科学。119,编号:3-4135-154(1999年;兹bl 0943.68038) 全文: 内政部
罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多特 具有可观测性算子的结构化规范的证明系统。 (英语) Zbl 0901.68116号 西奥。计算。科学。 173,第2期,393-443(1997).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Theor。计算。科学。173,编号2,393--443(1997;Zbl 0901.68116) 全文: 内政部
唐纳德·桑内拉;安德烈·塔莱基 代数规范和程序开发的基本概念。 (英语) Zbl 0887.68070号 正式Asp。计算。 9,第3期,229-269(1997).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},正式Asp。计算。9,第3229-269号(1997年;Zbl 0887.68070) 全文: 内政部
吉木基诺西塔;权力,约翰 通过丰富来放松自然。 (英语) Zbl 0856.18003号 J.纯应用。代数 112,No.1,53-72(1996). 审核人:R.H.街(北莱德) MSC公司:18立方厘米 18D20天 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kinoshita}和\textit{J.Power},J.Pure Appl。代数112,No.1,53--72(1996;Zbl 0856.18003) 全文: 内政部
费尔南多·奥雷哈斯;玛丽莎·纳瓦罗;安娜·桑切斯 抽象数据类型的代数实现:概念和新合成结果的综述。 (英语) 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 1508.68207号 Kirchner,Hélène(编辑),代数和编程中的树——CAAP’96。第21届国际学术讨论会,1996年4月22日至24日,瑞典林雪平。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1059241-256(1996年)。MSC公司:68问题55 08C05号机组 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{A.Tarlecki},莱克特。注释计算。科学。1059、241--256(1996年;Zbl 1508.68207) 全文: 内政部
玛丽莎·纳瓦罗;费尔南多·奥雷哈斯;安娜·桑切斯 关于模块化系统的正确性。 (英语) 兹比尔0874.68065 西奥。计算。科学。 140,第1期,139-177(1995).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Navarro}等人,Theor。计算。科学。140,第1号,139--177(1995;Zbl 0874.68065) 全文: 内政部
加德纳,P.H.B。 一致性和完备性的代数证明。 (英语) Zbl 0874.68195号 西奥。计算。科学。 150,第1期,161-191(1995).MSC公司:第68季度第60季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner},Theor。计算。科学。150,第1号,161--191(1995;Zbl 0874.68195) 全文: 内政部
戴维·诺曼(David A.Naumann)。 数据优化、按值调用和高阶程序。 (英语) Zbl 0841.68034号 正式Asp。计算。 7,第6期,652-662(1995).MSC公司:68第05页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},正式Asp。计算。7,第6号,652--662(1995;Zbl 0841.68034) 全文: 内政部
十卡特,H.H。 在数值软件设计中应用抽象和形式化规范。 (英语) Zbl 0838.68079号 计算。数学。申请。 29,第12期,81-102(1995).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.H.ten Cate},计算。数学。申请。29,编号12,81-102(1995年;Zbl 083868079) 全文: 内政部
哈特穆特·埃里格;伯恩德·马赫 TAPSOFT的十年。软件开发理论和实践方面的进展和前景。 (英语) Zbl 1496.68077号 Mosses,Peter D.(编辑)等人,《TAPSOFT’95:软件开发的理论与实践》。第六届CAAP/FASE国际联席会议,1995年5月,丹麦奥胡斯。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。915, 3-24 (1995).MSC公司:68号01 68号30 2012年第68季度 第68季度第60季度 68问题65 68-02 68-03 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{B.Mahr},莱克特。注释计算。科学。915,3--24(1995年;Zbl 1496.68077) 全文: 内政部
米歇尔·比多特;罗尔夫·亨尼克 证明行为实施的正确性。 (英语) Zbl 1496.68199号 Alagar,V.S.(编辑)等人,《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。936, 152-168 (1995).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker},莱克特。注释计算。科学。936152--168(1995年;Zbl 1496.68199) 全文: 内政部
冯·赖特,J。 数据优化的网格。 (英语) Zbl 0790.68028号 学报信息。 第2105-135号(1994年)第31页.MSC公司:68第05页 第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright},《学报信息》31,第2期,第105--135页(1994;Zbl 0790.68028) 全文: 内政部
汉斯·迪特·埃里奇;Denker,砂砾;阿米尔卡·瑟纳达斯 将系统构建为对象社区。 (英语) 兹比尔1497.68336 Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 453-467 (1993).MSC公司:第68季度85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Ehrich}等人,Lect。注释计算。科学。668453-467(1993年;Zbl 1497.68336) 全文: 内政部
佩尼亚,R。;路易斯·阿隆索。 通过使用保护和活动条件来指定和优化TCSP进程的技术。 (英语) Zbl 1497.68318号 Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 328-342 (1993).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Peña}和\textit{L.M.Alonso},莱克特。注释计算。科学。668328--342(1993年;Zbl 1497.68318) 全文: 内政部
大卫·莱恩 软件完善维护:包括软件重用中的可再培训软件。 (英语) Zbl 0800.68328号 信息科学。 75,编号1-2,109-132(1993).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Rine},信息科学。75,编号1-2109-132(1993年;Zbl 0800.68328) 全文: 内政部
Ambuj K·辛格。 公平过渡系统中的程序优化。 (英语) Zbl 0790.68078号 学报信息。 30,第6期,503-535(1993).MSC公司:第68季度第60季度 第68季度85 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Singh},Acta Inf.30,第60503-535号(1993年;Zbl 0790.68078) 全文: 内政部
罗朝晖 类型理论中的程序规范和数据细化。 (英语) Zbl 0791.68109号 数学。结构。计算。科学。 3,第3号,333-363(1993).MSC公司:第68季度第60季度 68号01 03年11月15日 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Loo},数学。结构。计算。科学。3,第3号,333--363(1993;Zbl 0791.68109) 全文: 内政部
P.H.B.加德纳。;摩根,卡罗尔 数据优化的单一完整规则。 (英语) Zbl 0774.68081号 正式Asp。计算。 5,第4期,367-382(1993).MSC公司:第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}和\textit{C.Morgan},正式Asp。计算。5,第4号,367--382(1993;Zbl 0774.68081) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 通信系统语言之间的接口。 (英语) Zbl 1425.68300号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 641-655 (1992).MSC公司:第68季度85 68甲15 68N20型 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},莱克特。注释计算。科学。623641-655(1992年;Zbl 1425.68300) 全文: 内政部
林惠民;龚、春;谢洪亮 时态逻辑语言中代数规范的抽象实现。 (英语) Zbl 0725.68069号 J.计算。科学。Technol公司。 第6期,第1期,第11-20页(1991年).MSC公司:第68季度第60季度 68问题65 68T99型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}等人,J.Compute。科学。技术。6,编号1,11--20(1991;Zbl 0725.68069) 全文: 内政部
乔斯特·恩格尔弗里特 迭代堆栈自动机和复杂性类。 (英语) 兹比尔0758.68029 Inf.计算。 95,第1期,21-75(1991年); 更正同上,第267页,第164-167页(2019年)。 审核人:乌尔里希·赫斯特兰夫(吕贝克) MSC公司:2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},Inf.计算。95,编号1,21--75(1991;Zbl 0758.68029) 全文: 内政部
保罗·加德纳;摩根,卡罗尔 谓词变换器的数据优化。 (英语) Zbl 0736.68060号 西奥。计算。科学。 87,第1期,第143-162页(1991年). 审核人:R.Horsch(马克多夫) MSC公司:68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardiner}和\textit{C.Morgan},Theor。计算。科学。87,第1号,143--162(1991;Zbl 0736.68060) 全文: 内政部
Ambuj K·辛格。;罗斯·奥弗贝克 高效并行程序的推导:来自遗传序列分析的一个例子。 (英语) Zbl 0703.68076号 国际J并行程序。 18,No.6,447-484(1990).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Singh}和\textit{R.Overbeek},Int.J.并行程序。18,第6号,447--484(1990;Zbl 0703.68076) 全文: 内政部
田纳西州。 规范逻辑的语义分析。 (英语) Zbl 0699.68110号 Inf.计算。 85,No.2,135-162(1990).MSC公司:68问题55 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Tennent},信息计算。85,No.2,135--162(1990;Zbl 0699.68110) 全文: 内政部
珍妮特·温格。 验证原子数据类型。 (英语) Zbl 0701.68076号 国际J并行程序。 18,第5号,315-357(1989).MSC公司:第68季度第60季度 68问题65 68米15 68米10 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing},国际J.并行程序。18,编号5,315--357(1989;Zbl 0701.68076) 全文: 内政部
罗兰·巴克豪斯;保罗·奇索姆;格兰特·马尔科姆;埃里克·萨曼 自我型理论。 (英语) Zbl 0697.68020号 形式方面计算。 第1期,第19-84页(1989年).MSC公司:第68季度第60季度 68第05页 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}等人,正式Asp。计算。1,编号1,19--84(1989;Zbl 0697.68020) 全文: 内政部
吉尔斯·伯诺 抽象实现的正确性证明。 (英语) Zbl 0671.68005号 Inf.计算。 80,编号2121-151(1989). 审核人:圣布鲁姆 MSC公司:68号01 第68季度第60季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bernot},信息计算。80,No.2,121--151(1989;Zbl 0671.68005) 全文: 内政部
摩根,卡罗尔 数据细化中的辅助变量。 (英语) Zbl 0662.68014号 信息处理。莱特。 29,第6期,293-296(1988).MSC公司:68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan},Inf.流程。莱特。29,第6号,293--296(1988;Zbl 0662.68014) 全文: 内政部
斯坦·格杰辛 监控器、监控器系统和流程的语义和验证。 (英语) Zbl 0659.68022号 分布计算。 190-200年第4期第2页(1988年).MSC公司:第68季度第60季度 68N25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Gjessing},分布计算。2,第4号,190--200(1988;Zbl 0659.68022) 全文: 内政部
曼弗雷德·布罗伊 部分高阶代数的方程规范。 (英语) Zbl 0644.68031号 西奥。计算。科学。 57,第1期,第3-45页(1988年).MSC公司:68第05页 68问题65 03C05号机组 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Broy}。计算。科学。57,第1、3--45号(1988;Zbl 0644.68031) 全文: 内政部
尤金·斯塔克。 证明概念状态规范之间的隐含关系。 (英语) Zbl 0632.68026号 西奥。计算。科学。 56,第1期,135-154(1988).MSC公司:68N25号 68第05页 PDF格式BibTeX公司 XML格式引用 \发短信给西奥瑞·史塔克。计算。科学。56,编号1,135--154(1988;Zbl 0632.68026) 全文: 内政部
F.L.鲍尔。;Wirsing,M。 隐等价代数规范。 (英语) Zbl 0632.68024号 学报信息。 25,第2期,111-153(1988).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}和\textit{M.Wirsing},《学报》第25期,第2期,第111--153页(1988;Zbl 0632.68024) 全文: 内政部
J.A.伯格斯特拉。;J.V.塔克。 可计算和半可计算数据类型的代数规范。 (英语) Zbl 0637.68013号 西奥。计算。科学。 50, 137-181 (1987). 审核人:G.格里加斯 MSC公司:68号01 第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Theor。计算。科学。50137--181(1987年;Zbl 0637.68013) 全文: 内政部
C.A.R.霍尔。;何继峰;J.W.桑德斯。 数据细化中的预先指定。 (英语) 兹比尔062468027 信息处理。莱特。 25, 71-76 (1987).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人,《Inf.过程》。莱特。25、71——76(1987年;Zbl 0624.68027) 全文: 内政部
福格勒、海科 迭代线性控制和迭代一圈下推。 (英语) Zbl 0636.68106号 数学。系统。理论 19, 117-133 (1986).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Vogler},数学。系统。理论19,117--133(1986;Zbl 0636.68106) 全文: 内政部
乔斯特·恩格尔弗里特;福格勒、海科 宏树换能器的下压机器。 (英语) Zbl 0619.68065号 西奥。计算。科学。 42, 251-368 (1986). 审核人:M.Kunze先生 MSC公司:65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler},Theor。计算。科学。42、251--368(1986年;Zbl 0619.68065) 全文: 内政部 链接
托比亚斯·尼普科 非确定性数据类型:模型和实现。 (英语) Zbl 0564.68013号 学报信息。 22, 629-661 (1986).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow},《信息学报》22,629--661(1986;Zbl 0564.68013) 全文: 内政部
文卡塔拉曼,K.N。;安安·安原雅拉;弗兰克·霍鲁西克(Frank M.Hawrusik)。 关于项代数可计算性的观点。 (英语) Zbl 0514.68053号 J.计算。系统。科学。 26, 410-471 (1983).MSC公司:第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Venkataraman}等人,《计算杂志》。系统。科学。26410-471(1983年;Zbl 0514.68053) 全文: 内政部
米切尔·旺德 数据抽象的规范、模型和实现。 (英语) Zbl 0478.68021号 西奥。计算。科学。 20, 3-32 (1982).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \文本{M.Wand},Theor。计算。科学。20、3--32(1982年;Zbl 0478.68021) 全文: 内政部
S.J.戈德萨克。;杰夫·克莱默 控制系统面向应用规范中的不变量。 (英语) Zbl 0474.93028号 Automatica公司 18, 71-76 (1982).MSC公司:93B40码 93C55美元 93C99号 93B20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Goldsack}和\textit{J.Kramer},自动化18,71--76(1982;Zbl 0474.93028) 全文: 内政部
保罗·R·F·库尼亚。;卡洛斯·卢塞纳。;迈鲍姆,T.S.E。 关于面向消息程序的设计和规范。 (英语) 兹比尔0446.68016 国际期刊计算。通知。科学。 9, 161-191 (1980).MSC公司:68N25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.R.F.Cunha}等人,《国际计算杂志》。通知。科学。9、161--191(1980年;Zbl 0446.68016) 全文: 内政部
中岛,Reiji;本田、米丘;Hayao Nakahara 分层程序规范和验证-一种多种逻辑方法。 (英语) Zbl 0432.68011号 学报信息。 14, 135-155 (1980).MSC公司:第68季度第60季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Nakajima}等人,《学报》第14期,第135-155页(1980年;Zbl 0432.68011) 全文: 内政部