FREC 14:可识别性前沿
形式语言与自动机理论
2014-12-15 v3 计算机科学中的逻辑
摘要
本论文集汇集了十二篇不同的研究论文,这些论文发展了针对各种离散对象(如词、项、图等)的可识别性理论。
引用
@article{arxiv.1411.5611,
title = {FREC 14: FRontiers of RECognizability},
author = {Géraud Sénizergues},
journal= {arXiv preprint arXiv:1411.5611},
year = {2014}
}
备注
Proceedings of the conference FREC 14 held in Marseille, 38-30 April 2014. 12 papers contributed by 14 authors