Scifaro

中文

第十一届约束处理规则研讨会论文集

编程语言 2014-06-09 v1

作者: Rémy Haemmerlé , Jon Sneyers

在 arXiv 上查看 ↗ PDF ↗

摘要

本卷收录了第十一届约束处理规则研讨会（CHR 2014）上发表的论文，该研讨会将于维也纳逻辑夏季（VSL）期间在维也纳举行。

关键词

约束处理规则 CHR 研讨会论文集逻辑编程维也纳逻辑夏季

引用

@article{arxiv.1406.1510,
  title  = {Proceedings of the Eleventh Workshop on Constraint Handling Rules},
  author = {Rémy Haemmerlé and Jon Sneyers},
  journal= {arXiv preprint arXiv:1406.1510},
  year   = {2014}
}