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

登录注册

全文

有本地全文

16篇

出版年度

	2019	3篇
	2017	4篇
	2015	3篇
	2014	1篇
	2013	2篇

	2012	1篇
	2011	1篇
	2006	1篇

作者

	Stefan Milius	16篇
	Henning Urbat	3篇
	Jiri Adamek	2篇
	Jiri Ad{\'a}mek	2篇
	Jiří Adámek	2篇

	Lawrence Moss	2篇
	Lurdes Sousa	2篇
	Lutz Schr{\"o}der	2篇
	Thorsten Wi{\ss}mann	2篇
	Ulrich Dorsch	2篇
	Daniel Schwencke	1篇
	Dirk Pattinson	1篇
	Jirí Adámek	1篇
	Jirí Velebil	1篇
	Jurriaan Rot	1篇
	Lawrence S. Moss	1篇
	Liang-Ting Chen	1篇
	Lutz Schr{"o}der	1篇
	Mahdie Haddadi	1篇
	Marcello M. Bonsangue	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	11篇
	Logical Methods in Computer Science	4篇
	Electronic Proceedings in Theoretical Computer Science	1篇

学科主题

计算技术、计算机技术

16篇

语种

英文

16篇

国别/地区

	德国	15篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Stefan Milius")))) )) ) )"

共 16 条记录

排序：全选导出：

1.On the specification of operations on the rational behaviour of systems

作　　者：Marcello M. Bonsangue ;Stefan Milius ;Jurriaan Rot

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;89:3-18.doi:10.4204/EPTCS.89.2

出版社：Open Publishing Association

文章 ID：83120516

文章详细全文下载
2.Elgot Algebras

作　　者：Jirí Adámek ;Stefan Milius ;Jirí Velebil

出　　处：Logical Methods in Computer Science. 2006 ;2(05).doi:10.2168/LMCS-2(5:4)2006

出版社：Technical University of Braunschweig

文章 ID：46838646

文章详细全文下载
3.Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

作　　者：Ulrich Dorsch ;Stefan Milius ;Lutz Schr{"o}der

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.36

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891944

文章详细全文下载
4.Varieties of Data Languages

作　　者：Henning Urbat ;Stefan Milius

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.130

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892265

文章详细全文下载
5.From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper)

作　　者：Stefan Milius

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-5.doi:10.4230/LIPIcs.CALCO.2019.2

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：241519999

文章详细全文下载
6.Efficient Coalgebraic Partition Refinement

作　　者：Ulrich Dorsch ;Stefan Milius ;Lutz Schr{\"o}der 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:32:1-32:16.doi:10.4230/LIPIcs.CONCUR.2017.32

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735198

文章详细全文下载
7.Eilenberg Theorems for Free

作　　者：Henning Urbat ;Jiri Ad{\'a}mek ;Liang-Ting Chen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:43:1-43:15.doi:10.4230/LIPIcs.MFCS.2017.43

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510091

文章详细全文下载
8.On Corecursive Algebras for Functors Preserving Coproducts

作　　者：Jiri Ad{\'a}mek ;Stefan Milius

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:3:1-3:15.doi:10.4230/LIPIcs.CALCO.2017.3

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510166

文章详细全文下载
9.Proper Functors and their Rational Fixed Point

作　　者：Stefan Milius

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:18:1-18:16.doi:10.4230/LIPIcs.CALCO.2017.18

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510194

文章详细全文下载
10.Abstract GSOS Rules and a Modular Treatment of Recursive Definitions

作　　者：Stefan Milius ;Lawrence Moss ;Daniel Schwencke

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:28)2013

出版社：Technical University of Braunschweig

文章 ID：264692018

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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