第11届约束逻辑编程系统实现国际研讨会（CICLOPS 2011）在线论文集，位于美国肯塔基州列克星敦市，2011年7月10日

摘要：CICLOPS 2011研讨会上提交的论文修订版（与ICLP 2011同时举办）。

作者：Salvador Abreu and Vitor Santos Costa

论文ID：1112.4993

分类：Programming Languages

分类简称：cs.PL

提交时间：2011-12-22

PDF 下载： 英文版 中文版pdf翻译中