1.On Multiplicative Linear Logic, Modality and Quantum Circuits

作　　者：Ugo Dal Lago ;Claudia Faggian

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;95:55-66.doi:10.4204/EPTCS.95.6

出版社：Open Publishing Association

文章 ID：83120437

文章详细全文下载
2.Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms

作　　者：Claudia Faggian

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-25.doi:10.4230/LIPIcs.FSCD.2019.19

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

文章 ID：238892306

文章详细全文下载
3.Factorize Factorization

作　　者：Beniamino Accattoli ;Claudia Faggian ;Giulio Guerrieri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:6:1-6:25.doi:10.4230/LIPIcs.CSL.2021.6

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

文章 ID：258514168

文章详细全文下载
4.Solvability in a Probabilistic Setting (Invited Talk)

作　　者：Simona Ronchi Della Rocca ;Ugo Dal Lago ;Claudia Faggian

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:1:1-1:17.doi:10.4230/LIPIcs.FSCD.2020.1

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

文章 ID：255823178

文章详细全文下载
5.PROBABILISTIC REWRITING AND ASYMPTOTIC BEHAVIOUR: ON TERMINATION AND UNIQUE NORMAL FORMS

作　　者：Claudia Faggian

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

出版社：Technical University of Braunschweig

文章 ID：1038046978

文章详细

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

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Claudia Faggian")))) )) ) )"

	Claudia Faggian	5篇
	Ugo Dal Lago	2篇
	Beniamino Accattoli	1篇
	Giulio Guerrieri	1篇
	Simona Ronchi Della Rocca	1篇

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

	2022	1篇
	2021	1篇
	2020	1篇
	2019	1篇
	2011	1篇