弱MSO:自动机与表示模双相似性
摘要
出版物: -
arXiv电子打印 发布日期: 2014年1月 内政部: -
10.48550/arXiv.1401.4374年 arXiv: -
arXiv公司:1401.4374 书目代码: -
2014arXiv1401.4374C 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: 技术报告,57页