达纳·菲斯曼；哈达尔·弗兰克尔；桑德拉·齐勒斯 推断符号自动机。 （英语） Zbl 07731916号 日志。方法计算。科学。 19，第2号，第5号论文，37页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人，《日志》。方法计算。科学。19，第2号，第5号论文，37页（2023；Zbl 07731916） 全文： 内政部 arXiv公司
达纳·安格鲁因；达纳·菲斯曼；雅拉·绍瓦尔 \（\omega \）-自动机的多项式标识。 （英语） Zbl 1483.68153号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12079, 325-343 (2020).MSC公司：65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit｛D.Angluin｝等人，Lect。票据计算。科学。12079325--343（2020；Zbl 1483.68153） 全文： 内政部
达纳·菲斯曼 推断正则语言和\（\omega \）-语言。 （英语） Zbl 1394.68211号 J.日志。阿尔盖布。方法计划。 98, 27-49 (2018).MSC公司：65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}，J.Log。阿尔盖布。方法计划。98、27-49（2018；Zbl 1394.68211） 全文： 内政部
达纳·安格鲁因；乌迪·博克；达纳·菲斯曼 DFA家族作为\（\omega \）正则语言的接受者。 （英语） Zbl 1398.68291号 日志。方法计算。科学。 14，第1号，第15号论文，21页（2018年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，日志。方法计算。科学。14，第1号，第15号文件，第21页（2018；兹bl 1398.68291） 全文： 内政部 arXiv公司