Expressive power of constraint handling rules extensions and fragments

被引：0
|
作者：
Mauro, Jacopo [1 ]
机构：
[1] University of Bologna / INRIA, Italy
来源：
Bulletin of the European Association for Theoretical Computer Science | 2013年 / 111卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：168 / 194
相关论文
共 50 条
  • [21] Observable confluence for constraint handling rules
    Duck, Gregory J.
    Stuckey, Peter J.
    Sulzmann, Martin
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 224 - +
  • [22] The expressive power of restricted fragments of English
    Third, A
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 317 - 329
  • [23] On the Expressive Power of Primitives for Compensation Handling
    Lanese, Ivan
    Vaz, Catia
    Ferreira, Carla
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2010, 6012 : 366 - +
  • [24] Confluence Modulo Equivalence in Constraint Handling Rules
    Christiansen, Henning
    Kirkeby, Maja H.
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 41 - 58
  • [25] SMCHR: Satisfiability modulo constraint handling rules
    Duck, Gregory J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 601 - 618
  • [26] Tutorial: Reasoning with, about and for constraint handling rules
    Fruehwirth, T
    Abdennadher, S
    FRONTIERS OF COMBINING SYSTEMS, 2002, 2309 : 192 - 192
  • [27] Logical grammars based on Constraint Handling Rules
    Christiansen, H
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 481 - 481
  • [28] Optimizing compilation of constraint handling rules in HAL
    Holzbaur, C
    De la Banda, MG
    Stuckey, PJ
    Duck, GJ
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 503 - 531
  • [29] CHRAnimation: An Animation Tool for Constraint Handling Rules
    Sharaf, Nada
    Abdennadher, Slim
    Fruehwirth, Thom
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 92 - 110
  • [30] The refined operational semantics of Constraint Handling Rules
    Duck, GJ
    Stuckey, PJ
    de la Banda, MG
    Holzbaur, C
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 90 - 104
12345