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 条
  • [31] A COMPLETE EQUATIONAL AXIOMATIZATION FOR PREFIX ITERATION
    FOKKINK, W
    INFORMATION PROCESSING LETTERS, 1994, 52 (06) : 333 - 337
  • [32] Complete axiomatization of an algebraic construction of graphs
    Ogawa, M
    FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 163 - 179
  • [33] A complete axiomatization of weighted branching bisimulation
    Mathias Claus Jensen
    Kim Guldstrand Larsen
    Acta Informatica, 2020, 57 : 689 - 725
  • [34] A complete axiomatization of weighted branching bisimulation
    Jensen, Mathias Claus
    Larsen, Kim Guldstrand
    ACTA INFORMATICA, 2020, 57 (3-5) : 689 - 725
  • [35] Reasoning About Embedded Dependencies Using Inclusion Dependencies
    Hannula, Miika
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 16 - 30
  • [36] A strongly complete axiomatization of intuitionistic temporal logic
    Chopoghloo, Somayeh
    Moniri, Morteza
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (07) : 1640 - 1659
  • [37] A complete equational axiomatization for MPA with string iteration
    Aceto, L
    Groote, JF
    THEORETICAL COMPUTER SCIENCE, 1999, 211 (1-2) : 339 - 374
  • [38] A complete axiomatization of Propositional Projection Temporal Logic
    Duan, Zhenhua
    Zhang, Nan
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 271 - 278
  • [39] A complete axiomatization of a temporal logic with obligation and robustness
    French, Tim
    McCabe-Dansted, John C.
    Reynolds, Mark
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (05) : 1439 - 1467
  • [40] Discovering dependencies in sound descriptors
    Wieczorkowska, AA
    Zytkow, JM
    INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2003, : 431 - 438
12345