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 条
  • [31] Introduction to the special issue on constraint handling rules
    Abdennadher, S
    Frühwirth, T
    Holzbaur, C
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 401 - 402
  • [32] Program Verification using Constraint Handling Rules and Array Constraint Generalizations
    De Angelis, Emanuele
    Pettorossi, Alberto
    Fioravanti, Fabio
    Proietti, Maurizio
    FUNDAMENTA INFORMATICAE, 2017, 150 (01) : 73 - 117
  • [33] Relational expressive power of constraint query languages
    Benedikt, M
    Dong, GZ
    Libkin, L
    Wong, LS
    JOURNAL OF THE ACM, 1998, 45 (01) : 1 - 34
  • [34] On the Expressive Power of Some Extensions of Linear Temporal Logic
    Gnatenko, A. R.
    Zakharov, V. A.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2019, 53 (07) : 663 - 675
  • [35] On the Expressive Power of Some Extensions of Linear Temporal Logic
    A. R. Gnatenko
    V. A. Zakharov
    Automatic Control and Computer Sciences, 2019, 53 : 663 - 675
  • [36] Parallelism, concurrency and distribution in constraint handling rules: A survey
    Fruehwirth, Thom
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (5-6) : 759 - 805
  • [37] A complete and terminating execution model for Constraint Handling Rules
    Betz, Hariolf
    Raiser, Frank
    Fruehwirth, Thom
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 597 - 610
  • [38] Compiling constraint handling rules for efficient tabled evaluation
    Sarna-Starosta, Beata
    Ramakrishnan, C. R.
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 170 - +
  • [39] Compiling constraint handling rules into prolog with attributed variables
    Holzbaur, C
    Frühwirth, T
    PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 117 - 133
  • [40] Representing argumentation schemes with Constraint Handling Rules (CHR)
    Gordon, Thomas F.
    Friedrich, Horst
    Walton, Douglas
    ARGUMENT & COMPUTATION, 2018, 9 (02) : 91 - 119
12345