从代数到逻辑：往返之旅——一个层次结构的故事
形式语言与自动机理论
2014-06-05 v1 计算机科学中的逻辑
摘要
本文是对有关语言层次结构结果的扩展综述，该层次结构与线性序的一阶逻辑双变量片段内的量词交替层次结构紧密相关。
引用
@article{arxiv.1406.1035,
title = {From algebra to logic: there and back again -- the story of a hierarchy},
author = {Pascal Weil},
journal= {arXiv preprint arXiv:1406.1035},
year = {2014}
}
备注
Developments in Language Theory 2014, Ekaterinburg : Russian Federation (2014)