1.Monads and Quantitative Equational Theories for Nondeterminism and Probability

作　　者：Matteo Mio ;Valeria Vignudelli

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:28:1-28:18.doi:10.4230/LIPIcs.CONCUR.2020.28

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

文章 ID：255822887

文章详细全文下载
2.Probabilistic modal Î¼-calculus with independent product

作　　者：Matteo Mio

出　　处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:18)2012

出版社：Technical University of Braunschweig

文章 ID：264691875

文章详细全文下载
3.On the equivalence of game and denotational semantics for the probabilistic mu-calculus

作　　者：Matteo Mio

出　　处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:7)2012

出版社：Technical University of Braunschweig

文章 ID：264692004

文章详细全文下载
4.On the Problem of Computing the Probability of Regular Sets of Trees

作　　者：Henryk Michalewski ;Matteo Mio

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:489-502.doi:10.4230/LIPIcs.FSTTCS.2015.489

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

文章 ID：186847206

文章详细全文下载
5.PROOF THEORY OF RIESZ SPACES AND MODAL RIESZ SPACES

作　　者：Christophe Lucas ;Matteo Mio

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

出版社：Technical University of Braunschweig

文章 ID：1038046967

文章详细

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

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

	Matteo Mio	5篇
	Christophe Lucas	1篇
	Henryk Michalewski	1篇
	Valeria Vignudelli	1篇

	Logical Methods in Computer Science	3篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇

	2022	1篇
	2020	1篇
	2015	1篇
	2012	2篇