A ZERO-ONE LAW FOR LOGIC WITH A FIXED-POINT OPERATOR

被引：32

作者：

BLASS, A

GUREVICH, Y

KOZEN, D

机构：

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

[2] IBM CORP, THOMAS J WATSON RES CTR, YORKTOWN HTS, NY 10598 USA

来源：

INFORMATION AND CONTROL | 1985年 / 67卷 / 1-3期

关键词：

FIRST-ORDER LOGIC - FIXED-POINT OPERATOR - ZERO-ONE LAW;

D O I：

10.1016/S0019-9958(85)80027-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

(Edited Abstract)

引用

页码：70 / 90

页数：21

共 31 条

[1]

Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110

[2]

[Anonymous], [No title captured]

[3]

[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[4] PROPERTIES OF ALMOST ALL GRAPHS AND COMPLEXES [J].

BLASS, A ;

HARARY, F .

JOURNAL OF GRAPH THEORY, 1979, 3 (03) :225-240

[5] STRUCTURE AND COMPLEXITY OF RELATIONAL QUERIES [J].

CHANDRA, A ;

HAREL, D .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (01) :99-128

[6] ALTERNATION [J].

CHANDRA, AK ;

KOZEN, DC ;

STOCKMEYER, LJ .

JOURNAL OF THE ACM, 1981, 28 (01) :114-133

[7]

CHANG C. C., 1973, MODEL THEORY

[8]

de Bakker J. W., 1972, 1ST INT C AUT LANG P, P167

[9]

DEROEVER WP, 1974, THESIS FREE U AMSTER

[10]

Erdos P., 1974, PROBABILISTIC METHOD

← 1 2 3 4 →