提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/agp/SchorlemmerA96AU-斯科勒默（W.Marco Schorlemmer）AU-阿古斯蒂-库勒，久美TI——声明式编程中的包含理论。1996年7月15日至18日，西班牙多诺西亚·圣塞巴斯蒂安，英国电信（BT）1996年声明性编程联合会议，APPIA-GULP-PRODE’96SP-167型EP-1781996年上半年//急诊室-