MONOTONE VERSUS POSITIVE

被引：53

作者：

AJTAI, M

GUREVICH, Y

机构：

[1] IBM CORP,RES CTR,SAN JOSE,CA 95114

[2] UNIV MICHIGAN,DEPT ELECT ENGN & COMP SCI,ANN ARBOR,MI 48109

来源：

关键词：

D O I：

10.1145/31846.31852

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：1004 / 1015

页数：12

共 12 条

[1] SIGMA-11-FORMULAE ON FINITE STRUCTURES [J].

AJTAI, M .

[2]

BOPPANA R, 1984, 16TH S THEOR COMP, P475

[3]

CHANDRA AK, 1980, J COMPUT SYST SCI, V25, P156

[4]

Chang C.C., 1977, MODEL THEORY, VSecond

[5] PARITY, CIRCUITS, AND THE POLYNOMIAL-TIME HIERARCHY [J].

FURST, M ;

SAXE, JB ;

SIPSER, M .

MATHEMATICAL SYSTEMS THEORY, 1984, 17 (01) :13-27

[6]

GUREVICH Y, 1984, LECT NOTES MATH, V1104, P175

[7]

Gurevich Y., 1985, 26th Annual Symposium on Foundations of Computer Science (Cat. No.85CH2224-4), P346, DOI 10.1109/SFCS.1985.27

[8]

GUREVICH Y, 1987, CURRENT TRENDS COMPU, P1

[9]

Hardy G.H., 1971, INTRO THEORY NUMBERS

[10]

KLEENE SC, 1952, INTRO METAMATHEMATIC