×

找到65个文档（结果1–65）

最新的 引文 关联
马丁·格劳尔；蒂尔·莫萨科夫斯基

SQL数据库模式和数据集的机构。 （英语） Zbl 1444.68068号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11563, 67-86 (2019).
MSC公司：第68页，共15页 18 C50 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Glauer}和\textit{T.Mossakowski}，莱克特。注释计算。科学。11563，67-86（2019年；兹比尔1444.68068）
全文： 内政部 哈尔
亚历山大·纳普；蒂尔·莫萨科夫斯基

UML中的多视图一致性：一项调查。 （英语） Zbl 1383.68024号

Heckel，Reiko（编辑）等人，《图形转换、规范和网络》。为了纪念哈特穆特·埃里格。查姆：施普林格（ISBN 978-3-319-75395-9/pbk；978-3-3169-75396-6/电子书）。计算机科学课堂讲稿10800，37-60（2018）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Knapp}和\textit{T.Mossakowski}，莱克特。注释计算。科学。10800，37-60（2018；Zbl 1383.68024）
全文： 内政部 arXiv公司
蒂尔·莫萨科夫斯基；弗洛里安·拉贝；米海·Codescu

结肠炎的标准选择。 （英语） Zbl 1496.68203号

James，Phillip（编辑）等人，代数发展技术的最新趋势。2016年9月21日至24日，第23届IFIP工作组1.3国际研讨会，WADT 2016，英国格雷戈诺格。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10644, 170-188 (2017).
MSC公司：68问题65 18A30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。10644，170-188（2017；Zbl 1496.68203）
全文： 内政部 arXiv公司
亚历山大·纳普；蒂尔·莫萨科夫斯基

UML交互满足状态机——一种机构方法。 （英语） Zbl 1433.68097号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72，第15条，第15页（2017年）。
MSC公司：68号30 第68季度10 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Knapp}和\textit{T.Mossakowski}，LIPIcs——莱布尼茨国际程序。通知。72，第15条，第15页（2017；兹bl 1433.68097）
全文： 内政部
丹尼尔·卡莱加里；蒂尔·莫萨科夫斯基；诺拉·萨兹

异构工具集中的模型驱动工程。 （英语） 兹比尔1335.68152

Braga，Christiano（编辑）等人，《形式方法：基础和应用》。2014年9月29日至10月1日在巴西亚利桑那州马塞奥举行的第17届巴西研讨会，SBMF 2014。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-15074-1/pbk）。计算机科学课堂讲稿8941，64-79（2015）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Calegari}等人，Lect。注释计算。科学。8941，64-79（2015；Zbl 1335.68152）
全文： 内政部
蒂尔·莫萨科夫斯基；乌尔夫·克鲁姆纳克；汤姆·迈鲍姆

什么是派生签名形态？ （英语） Zbl 1472.68097号

Codescu，Mihai（编辑）等人，代数开发技术的最新趋势。2014年9月4日至7日，第22届国际研讨会，WADT 2014，罗马尼亚西奈亚。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9463, 90-109 (2015).
MSC公司：68问题65 03G30型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。9463、90-109（2015年；Zbl 1472.68097）
全文： 内政部
伊巴涅兹，雅兹明·安吉利卡；蒂尔·莫萨科夫斯基；唐纳德·桑内拉；安德烈·塔莱基

任意机构中本体的模块化。 （英语） Zbl 1321.68418号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，361-379（2015）。
MSC公司：68立方英尺 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{Y.A.Ibañez}等人，Lect。注释计算。科学。9200，361--379（2015；Zbl 1321.68418）
全文： 内政部
亚历山大·纳普；蒂尔·莫萨科夫斯基；马库斯·罗根巴赫

面向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公司
蒂尔·莫萨科夫斯基；安德烈·塔莱基

结构化异构规范的相对完整演算。 （英语） Zbl 1405.68193号

Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54829-1/pbk）。计算机科学课堂讲稿8412，441-456（2014）。
MSC公司：68问题65 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}和\textit{A.Tarlecki}，莱克特。注释计算。科学。8412、441--456（2014年；Zbl 1405.68193）
全文： 内政部
蒂尔·莫萨科夫斯基；Pawłowski、Wies \322»aw；唐纳德·桑内拉；安德烈·塔莱基

CafeOBJ逻辑的羊皮纸。 （英语） Zbl 1407.68311号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 66-91 (2014).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。8373、66-91（2014年；Zbl 1407.68311）
全文： 内政部 链接
蒂尔·莫萨科夫斯基；奥利弗·库茨；克里斯托弗·兰格

分布式本体语言的语义：机构和机构。 （英语） Zbl 1394.68379号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841，212-230（2013）。
MSC公司：68立方英尺 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。7841、212--230（2013年；Zbl 1394.68379）
全文： 内政部
菲利普·詹姆斯；亚历山大·纳普；蒂尔·莫萨科夫斯基；马库斯·罗根巴赫

设计特定领域的语言–使用Casl公司. （英语） Zbl 1394.68239号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841178-194（2013）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛P.James｝等人，Lect。注释计算。科学。7841、178--194（2013；Zbl 1394.68239）
全文： 内政部
米海·Codescu；富利亚·霍罗扎尔；Jakubauskas，艾瓦拉；蒂尔·莫萨科夫斯基；弗洛里安·拉贝

编译逻辑。 （英语） Zbl 1394.68071号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841111-126（2013）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Codescu}等人，Lect。注释计算。科学。7841、111-126（2013年；Zbl 1394.68071）
全文： 内政部
利亚姆·奥莱利；蒂尔·莫萨科夫斯基；马库斯·罗根巴赫

过程和数据机构中的组合建模和推理。 （英语） 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）
全文： 内政部
米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝；克里斯蒂娜·索贾科娃

面向异构工具集Hets中的逻辑框架。 （英语） Zbl 1278.68286号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137139-159（2012）。
MSC公司：68T27型 03B40型 68问题65 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Codescu}等人，Lect。注释计算。科学。7137、139--159（2012年；Zbl 1278.68286）
全文： 内政部
米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝

模型理论隐藏的证明理论解释。 （英语） 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）
全文： 内政部
米海·Codescu；蒂尔·莫萨科夫斯基

优化树：计算、工具和应用程序。 （英语） Zbl 1344.68144号

Andrea Corradini等人，《计算机科学中的代数和余代数》。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22943-5/pbk）。计算机科学课堂讲稿6859145-160（2011）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Codescu}和\textit{T.Mossakowski}，莱克特。注释计算。科学。6859、145-160（2011年；Zbl 1344.68144）
全文： 内政部
米海·Codescu；蒂尔·莫萨科夫斯基；阿德里安·里斯科；克里斯蒂安·梅德

将莫德融入赫茨。 （英语） 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）
全文： 内政部 链接
谢尔盖·奥特西尔；迪特尔·赫特；蒂尔·莫萨科夫斯基

异构开发图的更改管理。 （英语） 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）
全文： 内政部
谢尔盖·冈查洛夫；卢茨·施罗德；蒂尔·莫萨科夫斯基

Kleene monads：在通用效果框架中处理迭代。 （英语） Zbl 1239.68024号

Kurz，Alexander（编辑）等人，《计算机科学中的代数与代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728，18-33（2009）。
MSC公司：68号30 18立方厘米 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。5728、18-33（2009年；Zbl 1239.68024）
全文： 内政部
蒂尔·莫萨科夫斯基；安德烈·塔莱基

分布式规范的异构逻辑环境。 （英语） Zbl 1253.68231号

Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。第19届国际研讨会，WADT 2008，意大利比萨，2008年6月13日至16日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，266-289（2009）。
MSC公司：68问题65 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}和\textit{A.Tarlecki}，莱克特。注释计算。科学。5486、266--289（2009年；Zbl 1253.68231）
全文： 内政部
卢茨·施罗德；蒂尔·莫萨科夫斯基

CoCasl中的Coalgebraic模态逻辑。 （英语） 兹比尔1196.68148

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2006年6月1日至3日，第18届国际研讨会，WADT 2006，比利时阿登拉罗什。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71997-7/pbk）。计算机科学课堂讲稿4409127-141（2007）。
MSC公司：68问题65 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}和\textit{T.Mossakowski}，莱克特。注释计算。科学。4409、127--141（2007年；Zbl 1196.68148）
全文： 内政部
克劳斯·吕蒂奇；蒂尔·莫萨科夫斯基

利用自动化定理证明系统为CASL提供推理支持。 （英语） Zbl 1196.68147号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2006年6月1日至3日，第18届国际研讨会，WADT 2006，比利时阿登拉罗什。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71997-7/pbk）。计算机科学课堂讲稿4409，74-91（2007）。
MSC公司：68问题65 03B70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Lüttich}和\textit{T.Mossakowski}，莱克特。注释计算。科学。4409、74-91（2007年；Zbl 1196.68147）
全文： 内政部
蒂尔·莫萨科夫斯基；马库斯·罗根巴赫

结构化CSP–作为一个机构的过程代数。 （英语） Zbl 1196.68159号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2006年6月1日至3日，第18届国际研讨会，WADT 2006，比利时阿登拉罗什。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71997-7/pbk）。计算机科学课堂讲稿4409，92-110（2007）。
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}和\textit{M.Roggenbach}，莱克特。注释计算。科学。4409、92-110（2007年；Zbl 1196.68159）
全文： 内政部
蒂尔·莫萨科夫斯基

机构2-cells和Grothendieck机构。 （英语） Zbl 1132.68488号

Futatsugi，Kokichi（编辑）等人，《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 3-540-35462-X/pbk）。计算机科学课堂讲稿4060124-149（2006）。
MSC公司：68问题65 03C95号 18D05日
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。4060124-149（2006年；Zbl 1132.68488）
全文： 内政部
谢尔盖·冈查洛夫；卢茨·施罗德；蒂尔·莫萨科夫斯基

全局评估逻辑的完整性。 （英语） Zbl 1132.68328号

Králović，Rastislav（编辑）等人，《2006年计算机科学的数学基础》。2006年8月28日至9月1日在斯洛伐克斯塔拉莱斯纳举行的2006年MFCS第31届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37791-3/pbk）。计算机科学讲稿4162447-458（2006）。
MSC公司：68甲18 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。4162447--458（2006年；Zbl 1132.68328）
全文： 内政部
丹尼斯·沃尔特；卢茨·施罗德；蒂尔·莫萨科夫斯基

参数化异常。 （英语） Zbl 1151.68379号

JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿3629424-438（2005）。
MSC公司：68号30 18立方厘米 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Walter}等人，Lect。注释计算。科学。3629424--438（2005年；Zbl 1151.68379）
全文： 内政部
丹尼尔·豪斯曼；蒂尔·莫萨科夫斯基；卢茨·施罗德

环境演算的联合语义。 （英语） Zbl 1151.68533号

JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。2005年9月3日至6日，在英国斯旺西举行的首届国际会议，CALCO 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿3629232-246（2005）。
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}等人，Lect。注释计算。科学。3629、232--246（2005年；Zbl 1151.68533）
全文： 内政部
凯瑟琳·霍夫曼；哈特穆特·埃里格；蒂尔·莫萨科夫斯基

以网络和规则作为标记的高级网络。 （英语） Zbl 1128.68063号

Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，ICATPN 2005，迈阿密，佛罗里达州，美国，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536268-288（2005）。
MSC公司：68问题85 2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{K.Hoffmann}等人，Lect。注释计算。科学。3536268-288（2005年；兹比尔1128.68063）
全文： 内政部
克劳斯·吕蒂奇；蒂尔·莫萨科夫斯基；Krieg-Brückner，伯尔尼

Casl中语义网的本体。 （英语） Zbl 1118.68559号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2004年3月27日至29日在西班牙巴塞罗那举行的第17届WADT国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25327-0/pbk）。《计算机科学讲义》3423106-125（2005）。
MSC公司：68问题65 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{K.Lüttich}等人，Lect。注释计算。科学。3423、106-125（2005年；Zbl 1118.68559）
全文： 内政部
卢茨·施罗德；蒂尔·莫萨科夫斯基；克里斯托夫·吕斯

制度框架中的类型-阶级多态性。 （英语） Zbl 1118.68562号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2004年3月27日至29日在西班牙巴塞罗那举行的第17届WADT国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25327-0/pbk）。计算机科学课堂讲稿34234-251（2005）。
MSC公司：68问题65 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}等人，Lect。注释计算。科学。3423，234--251（2005；Zbl 1118.68562）
全文： 内政部
蒂尔·莫萨科夫斯基；唐纳德·桑内拉；安德烈·塔莱基

Casl的一种简单细化语言。 （英语） 兹比尔1118.68560

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2004年3月27日至29日在西班牙巴塞罗那举行的第17届WADT国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25327-0/pbk）。计算机科学课堂讲稿3423162-185（2005）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。3423、162--185（2005年；Zbl 1118.68560）
全文： 内政部
丹尼尔·豪斯曼；蒂尔·莫萨科夫斯基；卢茨·施罗德

Isabelle/HOL中CoCasl的迭代圆共聚。 （英语） Zbl 1119.68370号

Cerioli，Maura（编辑），《软件工程的基本方法》，第八届国际会议，FASE 2005，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2005，英国爱丁堡，2005年4月4日至8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25420-X/pbk）。计算机科学课堂讲稿3442341-356（2005）。
MSC公司：68问题65 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}等人，Lect。注释计算。科学。3442、341--356（2005年；Zbl 1119.68370）
全文： 内政部
卢茨·施罗德；蒂尔·莫萨科夫斯基

通用异常处理和Java monad。 （英语） Zbl 1108.68411号

Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学课堂讲稿3116443-459（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}和\textit{T.Mossakowski}，莱克特。注释计算。科学。3116443-459（2004年；Zbl 1108.68411）
全文： 内政部
蒂尔·莫萨科夫斯基；马库斯·罗根巴赫；卢茨·施罗德

CoCasl公司工作中-建模过程代数。 （英语） Zbl 1270.68195号

Gumm，H.Peter（编辑），CMCS’03：计算机科学中的协同代数方法。第六次研讨会会议记录（ETAPS 2003卫星活动），华沙，2003年4月5日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》82，第1期，206-220（2003）。
MSC公司：68问题65 68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，《电子》。注释Theor。计算。科学。82，编号1206-220（2003年；兹bl 1270.68195）
全文： 链接
蒂尔·莫萨科夫斯基；霍斯特·赖切尔；马库斯·罗根巴赫；卢茨·施罗德

CoCasl中的代数余代数规范。 （英语） Zbl 1278.68209号

Wirsing，Martin（编辑）等人，代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-20537-3/pbk）。莱克特。注释计算。科学。2755, 376-392 (2003).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。2755376--392（2003年；Zbl 1278.68209）
全文： 内政部
蒂尔·莫萨科夫斯基

异构规范的基础。 （英语） 兹比尔1278.68208

Wirsing，Martin（编辑）等人，代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-20537-3/pbk）。莱克特。注释计算。科学。第2755、359-375页（2003年）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。2755359--375（2003年；Zbl 1278.68208）
全文： 内政部
凯瑟琳·霍夫曼；蒂尔·莫萨科夫斯基

代数高阶网：作为标记的图和Petri网。 （英语） Zbl 1278.68215号

Wirsing，Martin（编辑）等人，代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-20537-3/pbk）。莱克特。注释计算。科学。2755, 253-267 (2003).
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{K.Hoffmann}和\textit{T.Mossakowski}，莱克特。注释计算。科学。2755253-267（2003年；兹bl 1278.68215）
全文： 内政部
卢茨·施罗德；蒂尔·莫萨科夫斯基

HasCasl中的单独立Hoare逻辑。 （英语） Zbl 1032.03029号

Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年4月7日至11日在波兰华沙举行的第六届国际会议FASE 2003，该会议是关于软件理论和实践的欧洲联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2621, 261-277 (2003).
MSC公司：03B70号 68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}和\textit{T.Mossakowski}，莱克托。注释计算。科学。2621、261--277（2003年；Zbl 1032.03029）
全文： 链接
卢茨·施罗德；蒂尔·莫萨科夫斯基

HasCasl公司：实现功能程序的集成规范和开发。 （英语） Zbl 1275.68054号

Kirchner，Hélène（编辑）等人，《代数方法论和软件技术》。第九届国际会议，2002年AMAST，2002年9月9日至13日，法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林：施普林格出版社（ISBN 3-540-44144-1/pbk）。计算机科学课堂讲稿2422，99-116（2002）。
MSC公司：68甲18 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}和\textit{T.Mossakowski}，莱克特。注释计算。科学。2422、99-116（2002年；Zbl 1275.68054）
全文： 内政部
蒂尔·莫萨科夫斯基

异构开发图和异构借用。 （英语） Zbl 1077.68609号

Nielsen，Mogens（编辑）等人，《软件科学和计算结构基础》。2002年4月8日至12日在法国格勒诺布尔举行的第五届国际会议FOSSACS 2002，是欧洲软件理论与实践联合会议ETAPS 2002的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43366-X）。莱克特。注释计算。科学。2303, 326-341 (2002).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。2303、326--341（2002年；Zbl 1077.68609）
全文： 链接
蒂尔·莫萨科夫斯基

基于同构的Grothendieck逻辑。 （英语） 兹比尔1014.68098

Diks，Krzysztof（编辑）等人，《2002年计算机科学的数学基础》。2002年8月26日至30日在波兰华沙举行的2002年MFCS第27届研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2420, 593-604 (2002).
MSC公司：68问题65 18 C50 03B70号
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。2420593--604（2002年；Zbl 1014.68098）
全文： 链接
蒂尔·莫萨科夫斯基；Klin，巴特克

CASL的独立于机构的静态分析。 （英语） Zbl 1043.68580号

Cerioli，Maura（编辑）等人，代数开发技术的最新趋势。第15次国际研讨会，WADT 2001，与CoFI工作组会议联合，意大利热那亚，2001年4月1日至3日。精选论文。柏林：施普林格出版社（ISBN 3-540-43159-4）。莱克特。注释计算。科学。2267, 221-237 (2001).
MSC公司：60年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}和\textit{B.Klin}，莱克特。注释计算。科学。2267221--237（2001年；Zbl 1043.68580）
全文： 链接
巴托克·克林；彼得·霍夫曼；安德烈·塔莱基；卢茨·施罗德；蒂尔·莫萨科夫斯基

检查CASL建筑规范的汞齐条件。 （英语） Zbl 0999.68506号

Sgall，Jiří（编辑）等人，《2001年计算机科学的数学基础》。第26届国际研讨会，2001年MFCS，2001年8月27日至31日，捷克共和国MariánskéLázně。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2136, 451-463 (2001).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}等人，Lect。注释计算。科学。2136451--463（2001年；Zbl 0999.68506）
全文： 链接
卢茨·施罗德；蒂尔·莫萨科夫斯基；安德烈·塔莱基

通过丰富的签名在CASL中合并。 （英语） Zbl 0986.68015号

Orejas，Fernando（编辑）等人，《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2076, 993-1004 (2001).
MSC公司：68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}等人，Lect。注释计算。科学。2076993--1004（2001年；Zbl 0986.68015）
全文： 链接
蒂尔·莫萨科夫斯基

CASL：从语义到工具。 （英语） Zbl 0971.68589号

Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785, 93-108 (2000).
MSC公司：68单位99 68问题65
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。1785年、93年至108年（2000年；Zbl 0971.68589）
蒂尔·莫萨科夫斯基

带有符号的任意机构中的规范。 （英语） Zbl 0966.68136号

Bert，Didier（编辑）等人，代数开发技术的最新趋势。1999年9月15日至18日，第14届国际研讨会，WADT'99，法国波纳斯酒庄。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1827, 252-270 (2000).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。1827252-270（2000年；Zbl 0966.68136）
马库斯·罗根巴赫；卢茨·施罗德；蒂尔·莫萨科夫斯基

在CASL中指定实数。 （英语） Zbl 0966.68137号

Bert，Didier（编辑）等人，代数开发技术的最新趋势。1999年9月15日至18日，第14届国际研讨会，WADT'99，法国波纳斯酒庄。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1827, 146-161 (2000).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Roggenbach}等人，Lect。注释计算。科学。1827、146-161（2000年；Zbl 0966.68137）
蒂尔·莫萨科夫斯基；安妮·哈克斯豪森；Krieg-Brückner，伯尔尼

子分类部分高阶逻辑作为CASL的扩展。 （英语） Zbl 0966.68138号

Bert，Didier（编辑）等人，代数开发技术的最新趋势。1999年9月15日至18日，第14届国际研讨会，WADT'99，法国波纳斯酒庄。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1827, 126-145 (2000).
MSC公司：68问题65 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Mossakowski}等人，Lect。注释计算。科学。1827，126--145（2000；Zbl 0966.68138）
蒂尔·莫萨科夫斯基

将OBJ3转化为CASL：机构层面。 （英语） Zbl 0956.68088号

JoséLuiz Fiadeiro（编辑），代数开发技术的最新趋势。第13次国际研讨会，WADT’98，葡萄牙里斯本，1998年4月2-4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1589, 198-215 (1999).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。1589198-215（1999年；Zbl 0956.68088）
蒂尔·莫萨科夫斯基

订单分类规范的冲突。 （英语） Zbl 0902.18002号

Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。第12届国际研讨会，WADT’97，意大利塔奎尼亚，1997年6月3日至7日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376, 316-332 (1998).
审核人：C.Calude（奥克兰）
MSC公司：18A35型 68问题65
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。1376316--332（1998年；Zbl 0902.18002）
莫拉·塞里奥利；安妮·哈克斯豪森；Krieg-Brückner，伯尔尼；蒂尔·莫萨科夫斯基

CASL中的允许子分类部分逻辑。 （英语） Zbl 0886.03022号

Michael Johnson（编辑），代数方法论和软件技术。1997年12月13日至17日，第六届国际会议，澳大利亚悉尼AMAST’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1349, 91-107 (1997).
MSC公司：03B70号 68问题65 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Cerioli}等人，Lect。注释计算。科学。1349，91-107（1997年；兹bl 0886.03022）
蒂尔·莫萨科夫斯基

逻辑框架之间的箭头类型不同。 （英语） Zbl 1046.68509号

Meyer auf der Heide，Friedhelm（编辑）等人，自动机，语言和编程。1996年7月8日至12日，第23届国际学术讨论会，ICALP’96，德国帕德博恩。诉讼程序。柏林：施普林格出版社（ISBN 3-540-61440-0/pbk）。莱克特。注释计算。科学。1099, 158-169 (1996).
MSC公司：68号30 68问题65 18个C20 18 C50
PDF格式BibTeX公司 XML格式引用
\文本｛T.Mossakowski｝，Lect。注释计算。科学。1099、158--169（1996年；Zbl 1046.68509）
汉斯·约尔格·克鲁斯基；蒂尔·莫萨科夫斯基

机构之间的等价性和差异：用基本代数模拟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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件