LANGUAGES THAT CAPTURE COMPLEXITY CLASSES

被引：298
|
作者：
IMMERMAN, N
机构：
[1] Yale Univ, New Haven, CT, USA, Yale Univ, New Haven, CT, USA
来源：
SIAM JOURNAL ON COMPUTING | 1987年 / 16卷 / 04期
关键词：
COMPLEXITY CLASSES - COMPUTATIONAL COMPLEXITY - FIRST-ORDER EXPRESSIBILITY - FIRST-ORDER LOGIC;
D O I：
10.1137/0216051
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：760 / 778
页数：19
相关论文
共 50 条
12345