Integrating efficient records into concurrent constraint programming

被引：0
|
作者：
Van, Roy, Peter
Mehl, Michael
Scheidhauer, Ralf
机构：
来源：
Lecture Notes in Computer Science | / 1140卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] A Variant of Concurrent Constraint Programming on GPU
    Talbot, Pierre
    Pinel, Frederic
    Bouvry, Pascal
    THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 3830 - 3839
  • [22] Concurrent constraint programming with process mobility
    Gilbert, D
    Palamidessi, C
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 463 - 477
  • [23] SiLCC is linear concurrent constraint programming
    Haemmerlé, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 448 - 449
  • [24] Programming deep concurrent constraint combinators
    Schulte, C
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2000, 1753 : 215 - 229
  • [25] Dynamic Spaces in Concurrent Constraint Programming
    Olarte, Carlos
    Nigam, Vivek
    Pimentel, Elaine
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 305 : 103 - 121
  • [26] Logical semantics of concurrent constraint programming
    Ruet, Paul
    Lecture Notes in Computer Science, 1118
  • [27] A confluent calculus for concurrent constraint programming
    Marriott, K
    Odersky, M
    THEORETICAL COMPUTER SCIENCE, 1997, 173 (01) : 209 - 233
  • [28] Timed default concurrent constraint programming
    Saraswat, V
    Jagadeesan, R
    Gupta, V
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 475 - 520
  • [29] Universal timed Concurrent Constraint Programming
    Olarte, Carlos
    Palamidessi, Catuscia
    Valencia, Frank
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 464 - +
  • [30] Integrating Constraint Programming and Itemset Mining
    Nijssen, Siegfried
    Guns, Tias
    MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, PT II: EUROPEAN CONFERENCE, ECML PKDD 2010, 2010, 6322 : 467 - 482
12345