×

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

是扔石头的时候了。 (英语) Zbl 07810938号

Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14151, 242-253 (2023).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图行走自动机上的同态。 (英语) Zbl 07572321号

Caron,Pascal(编辑)等人,《自动机的实现和应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13266, 177-188 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

图行走自动机并与交的状态复杂性。 (英语) Zbl 07614747号

Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第23届IFIP工作组1.02国际会议,DCFS 2021,虚拟活动,2021年9月5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13037, 125-136 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段