Smaus, J.G. and Hill, P.M. and King, A.
(1998)
Termination of Logic Programs with block Declarations Running in Several Modes.
In: Palamidessi, C., ed.
Proceedings of the 10th International Symposium on Principles of Declarative Programming.
Lecture Notes in Computer Science, 1490.
Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html
pp. 73-88.
ISBN 3-540-65012-1 .
Preview
Preview
This list was generated on Tue May 21 11:20:09 2013 BST.