摘要：广义量词在计算复杂性理论中的概念被探索并用于对叶语言可定义性、oracle分离、类型2运算符和具有单态门的电路进行统一处理。同时指出了与Lindstroem量词的关系。
作者：Heribert Vollmer
论文ID：cs/9809115
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中