第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翻译中