Krzysztof R. Apt
Krzysztof R. Apt and M. H. Van Emden.
Contributions to the theory of logic programming.
Journal of the ACM
, 29(3):841-862, July 1982.
Citations.
Krzysztof R. Apt.
Formal justification of a proof system for communicating sequential processes.
Journal of the ACM
, 30(1):197-216, January 1983.
K. R. Apt and G. D. Plotkin.
Countable nondeterminism and random assignment.
Journal of the ACM
, 33(4):724-767, October 1986.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database