1.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

文章详细全文下载
2.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

文章详细全文下载
3.Finite Behaviours and Finitary Corecursion

作　　者：Henning Urbat

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

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

文章 ID：205510204

文章详细全文下载
4.Syntactic Monoids in a Category

作　　者：Jiri Adamek ;Stefan Milius ;Henning Urbat

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:1-16.doi:10.4230/LIPIcs.CALCO.2015.1

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

文章 ID：186847092

文章详细全文下载
5.A Fibrational Approach to Automata Theory

作　　者：Liang-Ting Chen ;Henning Urbat

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;35:50-65.doi:10.4230/LIPIcs.CALCO.2015.50

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

文章 ID：186847112

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Henning Urbat")))) )) ) )"

	Henning Urbat	5篇
	Stefan Milius	3篇
	Liang-Ting Chen	2篇
	Jiri Adamek	1篇
	Jiri Ad{\'a}mek	1篇

	2019	1篇
	2017	2篇
	2015	2篇