1.A Categorical Account of Replicated Data Types

作　　者：Fabio Gadducci ;Hern{'a}n Melgratti ;Christian Rold{'a}n 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-15.doi:10.4230/LIPIcs.FSTTCS.2019.42

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

文章 ID：241519896

文章详细全文下载
2.Tree Automata as Algebras: Minimisation and Determinisation

作　　者：Gerco van Heerdt ;Tobias Kapp ;Jurriaan Rot 等

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

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

文章 ID：241520003

文章详细全文下载
3.CALF: Categorical Automata Learning Framework

作　　者：Gerco van Heerdt ;Matteo Sammartino ;Alexandra Silva

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:29:1-29:24.doi:10.4230/LIPIcs.CSL.2017.29

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

文章 ID：200735095

文章详细全文下载
4.Residual Nominal Automata

作　　者：Joshua Moerman ;Matteo Sammartino

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:44:1-44:21.doi:10.4230/LIPIcs.CONCUR.2020.44

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

文章 ID：255822903

文章详细全文下载
5.RESIDUALITY AND LEARNING FOR NONDETERMINISTIC NOMINAL AUTOMATA

作　　者：Joshua Moerman ;Matteo Sammartino

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-28.doi:10.46298/lmcs-18(1:29)2022

出版社：Technical University of Braunschweig

文章 ID：1038046933

文章详细

	有本地全文	4篇
	有全文链接	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Matteo Sammartino")))) )) ) )"

	Matteo Sammartino	5篇
	Alexandra Silva	2篇
	Gerco van Heerdt	2篇
	Joshua Moerman	2篇
	Christian Rold{'a}n	1篇

	Fabio Gadducci	1篇
	Hern{'a}n Melgratti	1篇
	Jurriaan Rot	1篇
	Tobias Kapp	1篇

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

	2022	1篇
	2020	1篇
	2019	2篇
	2017	1篇