DATALOG VS 1ST-ORDER LOGIC

被引：12

|

作者：

AJTAI, M

GUREVICH, Y

机构：

来源：

30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE | 1989年

关键词：

D O I：

10.1109/SFCS.1989.63469

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：142 / 147

页数：6

相关论文

共 50 条

[1] FIXPOINT EXTENSIONS OF 1ST-ORDER LOGIC AND DATALOG-LIKE LANGUAGES
ABITEBOUL, S
VIANU, V
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 71 - 79
[2] GENERALIZATION OF THE 1ST-ORDER LOGIC
FERENCZI, M
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1978, 22 (2-3): : 157 - 170
[3] 1ST-ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 844 - 844
[4] FORMAL LANGUAGES AND 1ST-ORDER LOGIC
THOMAS, W
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 303 - 303
[5] DUALITY AND DEFINABILITY IN 1ST-ORDER LOGIC
MAKKAI, M
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1993, 105 (503) : R3 - &
[6] THE CONTINUUM AND 1ST-ORDER INTUITIONISTIC LOGIC
VANDALEN, D
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (04) : 1417 - 1424
[7] THE NONDEFINABILITY NOTION AND 1ST-ORDER LOGIC
KRYNICKI, M
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1070 - 1070
[8] SOFTWARE TOOLS FOR 1ST-ORDER LOGIC
CUNNINGHAM, RJ
ZAPPACOSTAAMBOLDI, S
SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (11): : 1019 - 1025
[9] PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC
LEBLANC, H
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (06): : 497 - 509
[10] EQUATIONAL TREATMENT OF 1ST-ORDER LOGIC
MYCIELSKI, J
ALGEBRA UNIVERSALIS, 1995, 33 (01) : 26 - 39

← 1 2 3 4 5 →