伊巴涅兹,雅兹明·安吉利卡;蒂尔·莫萨科夫斯基;唐纳德·桑内拉;安德烈·塔莱基 任意机构中本体的模块化。 (英语) 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) 全文: 内政部
唐纳德·桑内拉;安德烈·塔莱基 ASL的基础遗产。 (英语) Zbl 1454.68068号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 253-272 (2015).MSC公司:68问题65 68-03 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},莱克特。注释计算。科学。8950253-272(2015年;兹比尔1454.68068) 全文: 内政部
蒂尔·莫萨科夫斯基;拉兹万·迪亚科内斯库;安德烈·塔莱基 什么是逻辑翻译? (英语) 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.68231号 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(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) 全文: 内政部
斯特凡·卡尔斯;唐纳德·桑内拉;安德烈·塔莱基 扩展ML的定义:简单介绍。 (英语) Zbl 0901.68024号 西奥。计算。科学。 173,第2期,445-484(1997).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs}等人,Theor。计算。科学。173,编号2,445--484(1997;Zbl 0901.68024) 全文: 内政部
唐纳德·桑内拉;安德烈·塔莱基 代数规范和程序开发的基本概念。 (英语) Zbl 0887.68070号 正式Asp。计算。 9,第3期,229-269(1997).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},正式Asp。计算。9,第3号,229--269(1997;Zbl 0887.68070) 全文: 内政部
罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 结构化理论陈述和逻辑表示。 (英语) Zbl 0809.03019号 Ann.纯粹应用。逻辑 67,编号1-3,113-160(1994). 审核人:N.Curteanu(伊阿什) MSC公司:03B70号 03B40型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Harper}等人,Ann.Pure Appl。逻辑67,编号1--3,113-160(1994;Zbl 0809.03019) 全文: 内政部
唐纳德·桑内拉;安德烈·塔莱基 从代数规范走向程序的形式化开发:模型理论基础。 (英语) Zbl 1425.68082号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 656-671 (1992).MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},莱克特。注释计算。科学。623656-671(1992年;兹比尔1425.68082) 全文: 内政部
安德烈·布利克;安德烈·塔莱基;米克尔·索洛普 关于系统开发中语法的保守扩展。 (英语) Zbl 0734.68061号 西奥。计算。科学。 90,第1期,209-233(1991).MSC公司:2012年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Blikle}等人,Theor。计算。科学。90,第1号,209--233(1991;Zbl 0734.68061) 全文: 内政部
唐纳德·桑内拉;安德烈·塔莱基 任意机构中的规范。 (英语) Zbl 0654.68017号 Inf.计算。 76,编号2-3,165-210(1988). 审核人:H.D.埃里奇 MSC公司:68号01 68第05页 68问题65 03B10号机组 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},Inf.Compute。76,编号2--3,165-210(1988;Zbl 0654.68017) 全文: 内政部
唐纳德·桑内拉;安德烈·塔莱基 关于观测等价和代数规范。 (英语) Zbl 0619.68028号 J.计算。系统。科学。 34, 150-178 (1987).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},J.Compute。系统。科学。34、150--178(1987年;Zbl 0619.68028) 全文: 内政部