A proof-theoretic foundation of abortive continuations

被引：14
|
作者：
University of Oregon, Eugene, United States [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
High Order Symbol Comput | 2007年 / 4卷 / 403-429期
关键词：
Logic programming;
D O I：
10.1007/s10990-007-9007-z
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
12345