1990
Comparative metric semantics for concurrent Prolog
Publication
Publication
Theoretical Computer Science , Volume 75 - Issue 1-2 p. 15- 43
Presented at the
International Conference on Fifth Generation Computer Systems, Tokyo
Additional Metadata | |
---|---|
, , | |
elsevier | |
Theoretical Computer Science | |
International Conference on Fifth Generation Computer Systems | |
de Bakker, J., & Kok, J. (1990). Comparative metric semantics for concurrent Prolog. In Theoretical Computer Science (Vol. 75, pp. 15–43). elsevier. |