简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用预购单索引外观记录。 (英语) Zbl 07592344号 学报信息。 59,第5号,585-618(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk曬}et al.,Acta Inf.59,No.5,585--618(2022;Zbl 07592344) 全文: 内政部
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用于将拉宾自动机转换为奇偶自动机的索引外观记录。 (英语) Zbl 1452.68108号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日,第23届国际会议,TACAS 2017,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2017,瑞典乌普萨拉。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 443-460 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskඃ}et al.,Lect。注释计算。科学。10205、443--460(2017;Zbl 1452.68108) 全文: 内政部 arXiv公司