利用LSDF约定确定$b$-可识别集周期的有效算法
摘要
出版物: -
arXiv电子打印 发布日期: 2017年8月 内政部: -
10.48550/arXiv.1708.06228 arXiv公司: -
arXiv:1708.06228 书目代码: -
2017年8月17日Xiv170806228M 关键词: -
计算机科学——形式语言与自动机理论; 计算机科学-计算机科学中的逻辑
电子打印: 《计算机科学中的逻辑方法》第15卷第3期(2019年7月31日)lmcs:3882