The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Logic Programming: Proceedings of the Eighth International Conference
Editors:Furukawa, K.
Book#: 0-262-56085-5
Publisher:the MIT Press, London
Pages: 316-330

Paper in Conference Proceedings #92

Title:An Algebraic Semantics of Prolog Program Termination
Authors:Ross,B; Smaill,AD
Date: 1991
Keywords:prolog, semantics, ccs

[Search These Pages] [DAI Home Page] [Comment]