A SOUND AND COMPLETE AXIOMATIZATION OF EMBEDDED CROSS DEPENDENCIES

被引：0

作者：

BANCILHON, F ^{[1
]}

RICHARD, P ^{[1
]}

机构：

[1] UNIV PARIS 11,LRI,F-91405 ORSAY,FRANCE

来源：

THEORETICAL COMPUTER SCIENCE | 1984年 / 34卷 / 03期

关键词：

D O I：

10.1016/0304-3975(84)90059-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：343 / 350

页数：8

共 50 条

[21] A sound and complete chase procedure for constrained tuple-generating dependencies
Dou, Deming
Coulondre, Stephane
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2013, 40 (01) : 63 - 84
[22] A sound and complete chase procedure for constrained tuple-generating dependencies
Deming Dou
Stéphane Coulondre
Journal of Intelligent Information Systems, 2013, 40 : 63 - 84
[23] A COMPLETE AXIOMATIZATION OF COMPUTER ARITHMETIC
MANSFIELD, R
MATHEMATICS OF COMPUTATION, 1984, 42 (166) : 623 - 635
[24] A complete axiomatization for Blocks World
Cook, SA
Liu, YM
JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (04) : 581 - 594
[25] AXIOMATIZATION OF FINITE COMPLETE EXPLICABILITY
LOFGREN, L
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 638 - &
[26] A complete axiomatization of knowledge and cryptography
Cohen, Mika
Dam, Mads
22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 77 - +
[27] A Complete Axiomatization of Strict Equality
Alvez, Javier
Lopez-Fraguas, Francisco J.
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 118 - +
[28] A complete axiomatization of MSO on infinite trees
Das, Anupam
Riba, Colin
2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 390 - 401
[29] A complete axiomatization of process temporal logic
Kacprzak, M
FUNDAMENTA INFORMATICAE, 2002, 50 (01) : 15 - 31
[30] IMPURE SIMPLICIAL COMPLEXES: COMPLETE AXIOMATIZATION
Randrianomentsoa, Rojo
Van Ditmarsch, Hans
Kuznets, Roman
LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04) : 1 - 3

← 1 2 3 4 5 →