Publication
-
January 1982
-
Contributions to the theory of logic programming Article
Journal of the ACM, 841-862.January 1982 -
January 1982
-
Fair termination revisited with delay In Proceedings
January 1982 -
Proof rules dealing with fairness In Proceedings
January 1982 -
January 1982
-
January 1982
-
The uniform asymptotic expansion of a class of integrals related to cumulative distribution functions Article
SIAM Journal on Mathematical Analysis, 13(2), 239-253.January 1982