A Logical Framework for Convention

被引：0
|
作者：
Giacomo Sillari
机构：
来源：
Synthese | 2005年 / 147卷
关键词：
Logical Framework;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：379 / 400
页数：21
相关论文
共 50 条
  • [21] A framework convention on alcohol control
    不详
    [J]. LANCET, 2007, 370 (9593): : 1102 - 1102
  • [22] Framework convention on tobacco control
    Slater, EE
    [J]. NEW ENGLAND JOURNAL OF MEDICINE, 2002, 347 (07): : 537 - 537
  • [23] Agreement reached on framework convention
    Elovainio, L
    [J]. EUROPEAN JOURNAL OF CANCER, 2003, 39 (07) : 851 - +
  • [24] The framework convention on tobacco control
    Corrêa, LFD
    [J]. BULLETIN OF THE WORLD HEALTH ORGANIZATION, 2002, 80 (12) : 924 - 924
  • [25] A Logical Framework to Deal with Variability
    Asirelli, Patrizia
    ter Beek, Maurice H.
    Fantechi, Alessandro
    Gnesi, Stefania
    [J]. INTEGRATED FORMAL METHODS, 2010, 6396 : 43 - 58
  • [26] A LOGICAL FRAMEWORK FOR DEFAULT REASONING
    POOLE, D
    [J]. ARTIFICIAL INTELLIGENCE, 1988, 36 (01) : 27 - 47
  • [27] A Framework for Defining Logical Frameworks
    Honsell, Furio
    Lenisa, Marina
    Liquori, Luigi
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 399 - 436
  • [28] A Logical Framework for Systems Biology
    de Maria, Elisabetta
    Despeyroux, Joelle
    Felty, Amy P.
    [J]. FORMAL METHODS IN MACRO-BIOLOGY, 2014, 8738 : 136 - 155
  • [29] A Logical Framework with Explicit Conversions
    Geuvers, Herman
    Wiedijk, Freek
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 199 : 33 - 47
  • [30] A Logical Framework for Graded Predicates
    Cintula, Petr
    Noguera, Carles
    Smith, Nicholas J. J.
    [J]. LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 3 - 16
12345