中文

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