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

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

empty

未找到相关数据