×
阿诺·杜兰德;艾蒂安·格兰让

有界度结构上的一阶查询可以用恒定延迟计算。 （英语） Zbl 1367.68086号

ACM事务处理。计算。日志。 8，第4号，第21条，第19页（2007年）.

引用于19文件

MSC公司：

第68页，共15页 数据库理论
03B70号 计算机科学中的逻辑
03C10号机组 量词消除、模型完整性和相关主题
2015年3月1日 计算复杂性（包括隐式计算复杂性）
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
65年第68季度 算法和问题复杂性分析
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

计算复杂性;枚举问题;一阶逻辑
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand}和\textit{E.Grandjean}，ACM Trans。计算。日志。8，第4号，第21条，第19页（2007年；Zbl 1367.68086）
全文： 内政部 arXiv公司