1992
Generalizing completeness results for loop checks in logic programming
Publication
Publication
Theoretical Computer Science , Volume 104 - Issue 1 p. 3- 28
Presented at the
Theoretical Issues of Design and Implementation of Symbolic Computation Systems, Capri
Additional Metadata | |
---|---|
, | |
elsevier | |
Theoretical Computer Science | |
Theoretical Issues of Design and Implementation of Symbolic Computation Systems | |
Bol, R. N. (1992). Generalizing completeness results for loop checks in logic programming. In Theoretical Computer Science (Vol. 104, pp. 3–28). elsevier. |