SOUND AND COMPLETE RULES OF DEFINITION

被引：0
|
作者：
CORCORAN, J
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：312 / 313
页数：2
相关论文
共 50 条
  • [1] Sound and complete rules for data reification
    吕建
    [J]. Science China Technological Sciences, 1997, (04) : 379 - 386
  • [2] Sound and complete rules for data reification
    Jian Lü
    [J]. Science in China Series E: Technological Sciences, 1997, 40 : 379 - 386
  • [3] Sound and complete rules for data reification
    Lu, JA
    [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (04): : 379 - 386
  • [4] Sound and complete inference rules for SE-consequence
    Wong, Ka-Shu
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2008, 31 : 205 - 216
  • [5] Sound, complete and minimal UCQ-rewriting for existential rules
    Koenig, Melanie
    Leclere, Michel
    Mugnier, Marie-Laure
    Thomazo, Michal
    [J]. SEMANTIC WEB, 2015, 6 (05) : 451 - 475
  • [6] SOUND AND COMPLETE HOARE-LIKE CALCULI BASED ON COPY RULES
    OLDEROG, ER
    [J]. ACTA INFORMATICA, 1981, 16 (02) : 161 - 197
  • [7] Compositional circular assume-guarantee rules cannot be sound and complete
    Maier, P
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 343 - 357
  • [8] Sound and complete set of reduction rules of free choice WF-nets
    [J]. Duan, Z.-H. (zhhduan@mail.xidian.edu.cn), 1600, Chinese Academy of Sciences (24):
  • [9] DEFINITION OF COMPLETE MEDICINE
    MCWHINNEY, IR
    [J]. CANADIAN FAMILY PHYSICIAN, 1980, 26 (NOV) : 1458 - 1460
  • [10] A Computational Definition of Aggregation Rules
    Tinguaro Rodriguez, J.
    Lopez, Victoria
    Gomez, Daniel
    Vitoriano, Begona
    Montero, Javier
    [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2010), 2010,
12345