1.Strongly Unambiguous BÃ¼chi Automata Are Polynomially Predictable With Membership Queries

作　　者：Dana Angluin ;Timos Antonopoulos ;Dana Fisman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-17.doi:10.4230/LIPIcs.CSL.2020.8

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

文章 ID：243494209

文章详细全文下载
2.Query Learning of Derived Omega-Tree Languages in Polynomial Time

作　　者：Dana Angluin ;Timos Antonopoulos ;Dana Fisman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:10:1-10:21.doi:10.4230/LIPIcs.CSL.2017.10

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

文章 ID：200735076

文章详细全文下载
3.A Modular Approach for Büchi Determinization

作　　者：Dana Fisman ;Yoad Lustig

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:368-382.doi:10.4230/LIPIcs.CONCUR.2015.368

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

文章 ID：186847022

文章详细全文下载
4.Families of DFAs as Acceptors of omega-Regular Languages

作　　者：Dana Angluin ;Udi Boker ;Dana Fisman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:11:1-11:14.doi:10.4230/LIPIcs.MFCS.2016.11

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

文章 ID：186847838

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Dana Fisman")))) )) ) )"

	Dana Fisman	4篇
	Dana Angluin	3篇
	Timos Antonopoulos	2篇
	Udi Boker	1篇
	Yoad Lustig	1篇

	2020	1篇
	2017	1篇
	2016	1篇
	2015	1篇