摘要：CHR 非终止程序的收敛性证明
作者：R''emy Haemmerl''e
论文ID：1210.2297
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-10-10
PDF 下载： 英文版 中文版pdf翻译中