首页期刊浏览 2024年11月30日星期六

登录注册

高级检索

专家检索

全文

	有本地全文	19篇
	有全文链接	2篇

出版年度

	2019	1篇
	2015	1篇
	2010	1篇
	2005	2篇
	2004	1篇

	2003	2篇
	2000	2篇
	1999	2篇
	1998	2篇
	1997	2篇
	1996	3篇
	1994	2篇

作者

	Peter D. Mosses	21篇
	Claus Hintermeier	2篇
	Hélene Kirchner	2篇
	Jørgen Iversen	1篇
	Kyung-Goo Doh	1篇

	Mark van den Brand	1篇
	Martín Musicante	1篇
	Michel A. Reniers	1篇
	MohammadReza Mousavi	1篇

文章类型

Research Article

18篇

来源期刊

	BRICS Report Series	18篇
	Electronic Proceedings in Theoretical Computer Science	2篇
	Journal of Universal Computer Science	1篇

学科主题

计算技术、计算机技术

21篇

语种

英文

21篇

国别/地区

	丹麦	18篇
	澳大利亚	2篇
	奥地利	1篇

检索条件:"( ( 高级检索(( ((AU:(("Peter D. Mosses")))) )) ) )"

共 21 条记录

排序：全选导出：

1.Robustness of Equations Under Operational Extensions

作　　者：Peter D. Mosses ;MohammadReza Mousavi ;Michel A. Reniers

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;41:106-120.doi:10.4204/EPTCS.41.8

出版社：Open Publishing Association

文章 ID：83120076

文章详细全文下载
2.Foundations of Modular SOS

作　　者：Peter D. Mosses

出　　处：BRICS Report Series. 1999 ;6(54).

出版社：Aarhus University

文章 ID：101759803

文章详细全文下载
3.Modularity in Meta-Languages

作　　者：Peter D. Mosses

出　　处：BRICS Report Series. 2000 ;7(50).

出版社：Aarhus University

文章 ID：101759811

文章详细全文下载
4.Rn and Gn Logics

作　　者：Claus Hintermeier ;Hélene Kirchner ;Peter D. Mosses

出　　处：BRICS Report Series. 1996 ;3(51).

出版社：Aarhus University

文章 ID：101759840

文章详细全文下载
5.Combining Algebraic and Set-Theoretic Specifications (Extended Version)

作　　者：Claus Hintermeier ;Hélene Kirchner ;Peter D. Mosses

出　　处：BRICS Report Series. 1996 ;3(52).

出版社：Aarhus University

文章 ID：101759841

文章详细全文下载
6.CASL for ASF+SDF Users

作　　者：Peter D. Mosses

出　　处：BRICS Report Series. 1997 ;4(49).

出版社：Aarhus University

文章 ID：101759845

文章详细全文下载
7.Logical Specification of Operational Semantics

作　　者：Peter D. Mosses

出　　处：BRICS Report Series. 1999 ;6(55).

出版社：Aarhus University

文章 ID：101759858

文章详细全文下载
8.CoFI: The Common Framework Initiative for Algebraic Specification and Development

作　　者：Peter D. Mosses

出　　处：BRICS Report Series. 1997 ;4(48).

出版社：Aarhus University

文章 ID：101759882

文章详细全文下载
9.CASL: A Guided Tour of its Design

作　　者：Peter D. Mosses

出　　处：BRICS Report Series. 1998 ;5(43).

出版社：Aarhus University

文章 ID：101759937

文章详细全文下载
10.Semantics, Modularity, and Rewriting Logic

作　　者：Peter D. Mosses

出　　处：BRICS Report Series. 1998 ;5(42).

出版社：Aarhus University

文章 ID：101759968

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有