Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Logic Programming: Proceedings of the Eighth International Conference
| Editors: | Furukawa, K.
| Book#: | 0-262-56085-5
| Publisher: | the MIT Press, London
| Volume: | MISSING
| Pages: | 316-330
| |
Paper in Conference Proceedings #92 | |
Title: | An Algebraic Semantics of Prolog Program Termination |
---|---|
Authors: | Ross,B; Smaill,AD |
Date: | 1991 |
Presented: | |
Keywords: | prolog, semantics, ccs |