玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 Event-B机构的建筑规范。 (英语) Zbl 07639912号 日志。方法计算。科学。 18,第4期,第4号论文,55页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Farrell}等人,《日志》。方法计算。科学。18,第4期,第4号论文,55页(2022;Zbl 07639912) 全文: 内政部 arXiv公司
Jan A.Bergstra。;约翰·V·塔克。 有理数的部分算术数据类型及其等式规范。 (英语) Zbl 07576527号 J.日志。代数。方法计划。 128,文章ID 100797,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Log。代数。方法计划。128,文章ID 100797,16 p.(2022;Zbl 07576527) 全文: 内政部
托拜厄斯·罗森伯格;萨德克·本萨勒姆;亚历山大·纳普;马库斯·罗根巴赫 CASL/SPASS中简单UML状态机的基于机构的编码和验证。 (英语) Zbl 07415136号 Roggenbach,Markus(编辑),代数开发技术的最新趋势。第25届国际研讨会,WADT 2020,虚拟活动,2020年4月29日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12669, 120-141 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Rosenberger}等人,Lect。注释计算。科学。12669120-141(2021年;兹bl 07451136) 全文: 内政部 arXiv公司 链接
马格尼·哈夫雷恩;贾科·加尔维 多路数据流约束系统的语义。 (英语) Zbl 1518.68052号 J.日志。代数。方法计划。 121,文章ID 100634,第26页(2021).MSC公司:68号30 03B70号 03G30型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Haveraaen}和\textit{J.Järvi},J.Log。代数。方法计划。121,文章ID 100634,26 p.(2021;Zbl 1518.68052) 全文: 内政部
马格尼·哈夫雷恩;马库斯·罗根巴赫 用句法理论函子指定。 (英语) Zbl 1433.68221号 J.日志。代数。方法计划。 113,文章ID 100543,23 p.(2020).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Haveraaen}和\textit{M.Roggenbach},J.Log。代数。方法计划。113,文章ID 100543,23 p.(2020;Zbl 1433.68221) 全文: 内政部
蒂尔·莫萨科夫斯基;Krieg-Brückner,伯尔尼 DOL中泛型的部分推出语义。 (英语) Zbl 1397.68112号 西奥。计算。科学。 741, 58-70 (2018).MSC公司:2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}和\textit{B.Krieg-Brückner},Theor。计算。科学。741,58-70(2018;Zbl 1397.68112) 全文: 内政部
彼得·莫塞斯(Peter D.Mosses)。 CoFI与Don Sannella合作。 (英语) Zbl 1397.68124号 西奥。计算。科学。 741,44-47(2018).MSC公司:68问题65 68-03 PDF格式BibTeX公司 XML格式引用 \文本{P.D.Mosses},Theor。计算。科学。741,44-47(2018;Zbl 1397.68124) 全文: 内政部
曼弗雷德·埃普;埃文·麦克林;罗伯托·孔瓦洛尼埃里;奥利弗·库茨;马尔科·舍勒默;Enric广场;凯乌·库恩伯格 概念融合的计算框架。 (英语) Zbl 1443.68139号 Artif公司。智力。 256, 105-129 (2018).MSC公司:68时01分 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}等人,Artif。智力。256105-129(2018;Zbl 1443.68139) 全文: 内政部
何塞·梅塞盖尔 条件重写模公理的严格一致性。 (英语) Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},Theor(西奥)。计算。科学。672,1--35(2017;Zbl 1386.68080) 全文: 内政部
戈因纳,丹尼尔 具有用户定义共享的混合逻辑中的逻辑编程基础。 (英语) Zbl 1371.68048号 西奥。计算。科学。 686, 1-24 (2017).MSC公司:68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gin},Theor(西奥)。计算。科学。686,1--24(2017;Zbl 1371.68048) 全文: 内政部
阿德里安·里斯科;Kazuhiro绪方;高基町五指 CafeOBJ的Maude环境。 (英语) Zbl 1358.68195号 正式Asp。计算。 29,第2期,309-334(2017).MSC公司:60年第68季度 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,《正式Asp》。计算。29,第2号,309--334(2017;Zbl 1358.68195) 全文: 内政部
拉兹万·迪亚科内斯库 一阶视图的函数语义。 (英语) Zbl 1370.68208号 西奥。计算。科学。 656,A部分,46-59(2016).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.迪亚科内斯库},Theor。计算。科学。656,A部分,46-59(2016;Zbl 1370.68208) 全文: 内政部
曼弗雷德·埃普;埃文·麦克林;罗伯托·孔瓦洛尼埃里;奥利弗·库茨;马尔科·舍勒默;Enric广场 ASP、合并和概念混合工作流。 (英语) Zbl 1467.68165号 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 309-316 (2015).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}等人,Lect。注释计算。科学。9345、309--316(2015;Zbl 1467.68165) 全文: 内政部
彼得·莫塞斯(Peter D.Mosses)。;费迪南德·维斯利 弱互模拟作为MSOS中的同余。 (英语) Zbl 1321.68363号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,519-538(2015)。MSC公司:68问题85 68号30 2012年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Mosses}和\textit{F.Vesely},Lect。注释计算。科学。9200、519--538(2015年;Zbl 1321.68363) 全文: 内政部
亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 面向UML中异构正式开发的机构框架——一份立场文件。 (英语) Zbl 1453.68107号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950, 215-230 (2015).MSC公司:68问题65 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}等人,Lect。注释计算。科学。8950、215--230(2015年;Zbl 1453.68107) 全文: 内政部 arXiv公司
休伯特·鲍迈斯特;穆罕默德·贝塔兹;穆拉德·毛奇;Mosteghanemi,穆罕默德 具有继承性和多态性的Object-Z机构。 (英语) Zbl 1453.68043号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950, 134-154 (2015).MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Baumeister}等人,Lect。注释计算。科学。8950,134--154(2015;Zbl 1453.68043) 全文: 内政部
安妮·E·哈克斯豪森。 强制性RSL规范的机构。 (英语) Zbl 1407.68309号 Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 441-464 (2014).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Haxthausen},莱克特。注释计算。科学。8373、441--464(2014年;Zbl 1407.68309) 全文: 内政部
Ţuţu,伊奥努 抽象结构化规范的参数化。 (英语) Zbl 1358.68201号 西奥。计算。科学。 517102-142(2014).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \文本{I.Ţuţu},Theor。计算。科学。517102--142(2014年;Zbl 1358.68201) 全文: 内政部
利亚姆·奥莱利;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 过程和数据机构中的组合建模和推理。 (英语) Zbl 1312.68146号 Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137251-269(2012)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.O'Reilly}等人,Lect。注释计算。科学。7137251--269(2012;Zbl 1312.68146) 全文: 内政部
米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 模型理论隐藏的证明理论解释。 (英语) Zbl 1278.68202号 Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137118-138(2012)。MSC公司:68问题65 03B40型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu}等人,Lect。注释计算。科学。7137、118--138(2012;Zbl 1278.68202) 全文: 内政部
米哈伊·科德斯库 Casl建筑规范中的Lambda表达式。 (英语) Zbl 1312.68141号 Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学讲义7137,98-117(2012)。MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu},莱克特。注释计算。科学。7137,98-117(2012;Zbl 1312.68141) 全文: 内政部
克莉丝汀,杂乱无章;吉安娜·雷吉奥 Casl-Mdl,使用正式基础和类似UML的符号对动态系统进行建模。 (英语) Zbl 1312.68140号 Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学讲义7137,76-97(2012)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Choppy}和\textit{G.Reggio},莱克特。注释计算。科学。7137,76-97(2012;Zbl 1312.68140) 全文: 内政部
汉斯·迪特·埃里奇 我的ADT神殿。 (英语) Zbl 1314.68008号 Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。《计算机科学讲义》7137,13-24(2012)。MSC公司:68-03 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Ehrich},莱克特。注释计算。科学。7137,13-24(2012;Zbl 1314.68008) 全文: 内政部
拉兹万·迪亚科内斯库;Ţuţu,伊奥努 关于结构化规范的代数。 (英语) Zbl 1252.68199号 西奥。计算。科学。 412,第28号,3145-3174(2011).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{I.Ţuţu},Theor。计算。科学。412,第28号,3145-3174(2011;Zbl 1252.68199) 全文: 内政部
米哈伊·科德斯库;蒂尔·莫萨科夫斯基;阿德里安·里斯科;克里斯蒂安·梅德 将莫德融入赫茨。 (英语) Zbl 1308.68075号 Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486,60-75(2011)。MSC公司:68问题65 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu}等人,Lect。注释计算。科学。6486、60-75(2011年;Zbl 1308.68075) 全文: 内政部
罗马人孔查科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 基于逻辑的本体比较和模块提取,以及在DL-Lite中的应用。 (英语) Zbl 1238.68154号 Artif公司。智力。 174,第15号,1093-1141(2010). 审核人:埃米利奥·穆尼奥斯·韦拉斯科 MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人,Artif。智力。174,第15号,1093--1141(2010;Zbl 1238.68154) 全文: 内政部
安德烈·顿涅茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 代数规范中的自动缺陷检测。 (英语) Zbl 1207.68337号 J.自动化。推理 45,第4期,359-395(2010).MSC公司:68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{A.Dunets}等人,J.Autom。推理45,No.4,359--395(2010;Zbl 1207.68337) 全文: 内政部
Delphine Longuet;马克·艾吉尔;帕斯卡尔·勒加尔 从一阶规范中平等地进行验证引导测试选择。 (英语) Zbl 1214.68221号 J.自动化。推理 45,第4期,437-473(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Longuet}等人,J.Autom。推理45,No.4,437--473(2010;Zbl 1214.68221) 全文: 内政部
谢尔盖·奥特西尔;迪特尔·赫特;蒂尔·莫萨科夫斯基 异构开发图的更改管理。 (英语) Zbl 1309.68129号 Siegler,Simon(编辑)等人,《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际,为他举行庆祝活动。柏林:施普林格出版社(ISBN 978-3-642-17171-0/pbk)。计算机科学课堂讲稿6463。人工智能课堂讲稿,54-80(2010)。MSC公司:60年第68季度 03G30型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Autexier}等人,Lect。注释计算。科学。6463、54-80(2010年;Zbl 1309.68129) 全文: 内政部
多米尼克·迪特里希;埃瓦里斯特·舒尔茨 Crystal:将结构化查询集成到策略语言中。 (英语) Zbl 1185.68618号 J.自动化。推理 44,编号1-2,79-110(2010).MSC公司:68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietrich}和\textit{E.Schulz},J.Autom。推理44,No.1--2,79-110(2010;Zbl 1185.68618) 全文: 内政部
彼得·莫塞斯(Peter D.Mosses)。;新的,Mark J。 结构操作语义中的隐式传播。 (英语) Zbl 1339.68159号 Hennessy,Matthew(编辑)等人,《结构操作语义第五次研讨会论文集》(SOS 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第4期,49-66(2009)。MSC公司:第68季度55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Mosses}和\textit{M.J.New},Electron。注释Theor。计算。科学。229,第4号,49--66(2009;Zbl 1339.68159) 全文: 内政部
蒂尔·莫萨科夫斯基;拉兹万·迪亚科内斯库;安德烈·塔莱基 什么是逻辑翻译? (英语) Zbl 1255.03023号 日志。Univers大学。 第3期,第1期,第95-124页(2009年).MSC公司:03B22号 03B70号 03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人,Log。Univers大学。3,第1号,95-124(2009;Zbl 1255.03023) 全文: 内政部
何塞·梅塞盖尔 有序参数化和归纳。 (英语) Zbl 1253.68215号 Palsberg,Jens(编辑),语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-04163-1/pbk)。计算机科学课堂讲稿5700,43-80(2009)。MSC公司:第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},莱克特。注释计算。科学。5700、43-80(2009年;Zbl 1253.68215) 全文: 内政部
Temesghen Kahsai;马库斯·罗根巴赫 Csp-Casl的属性保持细化。 (英语) Zbl 1253.68229号 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,206-220(2009)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahsai}和\textit{M.Roggenbach},莱克特。注释计算。科学。5486、206-220(2009年;Zbl 1253.68229) 全文: 内政部
米哈伊·科德斯库 广义理论制度同构。 (英语) Zbl 1253.68226号 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,88-101(2009)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Codescu},莱克特。注释计算。科学。5486、88--101(2009年;Zbl 1253.68226) 全文: 内政部
卡斯滕·卢茨;弗兰克·沃尔特 生命科学本体论的数学逻辑。 (英语) Zbl 1246.68211号 Ono,Hirakira(编辑)等人,《逻辑、语言、信息和计算》。2009年6月21日至24日,第16届国际研讨会,WoLLIC 2009,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02260-9/pbk)。计算机科学课堂讲稿5514。人工智能课堂讲稿,37-47(2009)。MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}和\textit{F.Wolter},莱克特。注释计算。科学。5514、37-47(2009年;Zbl 1246.68211) 全文: 内政部
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,第6号,1017--1030(2008;Zbl 1160.68342) 全文: 内政部
安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 自动化非自由生成数据类型的代数规范。 (英语) 兹比尔1183.68368 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,141-155(2008)。MSC公司:60年第68季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Dunets}等人,Lect。注释计算。科学。5311、141--155(2008年;Zbl 1183.68368) 全文: 内政部
若昂·菲利佩贝洛 相关排序逻辑。 (英语) Zbl 1139.03020号 Miculan,Marino(编辑)等人,《证明和程序的类型》。2007年5月2日至5日,意大利弗留利市Cividale des Friuli国际会议,TYPES 2007。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-68084-0/pbk)。《计算机科学讲义》4941,33-50(2008)。MSC公司:03B70号 03B10号机组 03B15号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Belo},莱克特。注释计算。科学。4941、33-50(2008年;Zbl 1139.03020) 全文: 内政部
圣地亚哥,Regivan H.N。;阿纳玛丽亚·马丁斯·莫雷拉 在CASL中实施局部间隔。 (英语) Zbl 1279.68234号 Sampaio,Augusto(编辑),第二届巴西正式方法研讨会论文集(SBMF 2005),Porto Alegre,RS,巴西,2005年11月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记184133-149(2007)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.H.N.Santiago}和\textit{A.M.Moreira},电子。注释Theor。计算。科学。184133-149(2007年;Zbl 1279.68234) 全文: 内政部
克莉丝汀,杂乱无章;吉安娜·雷吉奥 一种正式建立的软件规范方法。 (英语) Zbl 1088.68103号 J.日志。代数。程序。 67,编号1-2,52-86(2006).MSC公司:60年第68季度 68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Choppy}和\textit{G.Reggio},J.Log。代数。程序。67,编号1--2,52-86(2006;Zbl 1088.68103) 全文: 内政部