1.Aperiodic Weighted Automata and Weighted First-Order Logic

作　　者：Manfred Droste ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.76

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

文章 ID：238892026

文章详细全文下载
2.Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata

作　　者：Manfred Droste ;Sven Dziadek ;Werner Kuich

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

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

文章 ID：241519892

文章详细全文下载
3.Weighted Operator Precedence Languages

作　　者：Manfred Droste ;Stefan D{\"u}ck ;Dino Mandrioli 等

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

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

文章 ID：205509992

文章详细全文下载
4.Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words

作　　者：Manfred Droste ;Sven Dziadek ;Werner Kuich

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-14.doi:10.4230/LIPIcs.FSTTCS.2020.44

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

文章 ID：257805114

文章详细全文下载
5.A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic

作　　者：Manfred Droste ;Erik Paul

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-15.doi:10.4230/LIPIcs.MFCS.2018.76

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

文章 ID：230213431

文章详细全文下载

	Matteo Pradella	1篇
	Paul Gastin	1篇
	Stefan D{\"u}ck	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Manfred Droste")))) )) ) )"

	Manfred Droste	5篇
	Sven Dziadek	2篇
	Werner Kuich	2篇
	Dino Mandrioli	1篇
	Erik Paul	1篇

	2020	1篇
	2019	2篇
	2018	1篇
	2017	1篇