×

找到7个文档(结果1-7)

分隔有限支持的\(Cb\)-集。 (英语) Zbl 1451.18011号

PDF格式BibTeX公司 XML格式引用
全文: 链接

确定性新生注册自动机的多项式时间等价性测试。 (英语) Zbl 1512.68143号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第72条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

预设变换半群的判别序列和直径。 (英语) Zbl 1451.68159号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8977, 353-364 (2015).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份