Skip to main content
Kent Academic Repository

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Book section
Number of items: 1.

Book section

Smaus, Jan-Georg and Hill, Pat and King, Andy (1998) Termination of Logic Programs with block Declarations Running in Several Modes. In: Palamidessi, Catuscia, ed. International Symposium on Programming Languages: Implementations, Logics and Programs. Lecture Notes in Computer Science, 1490 . Springer-Verlag, see also, pp. 182-196. ISBN 3-540-65012-1. (KAR id:21647)
Format: PDF
This list was generated on Sun Jul 14 01:47:02 2024 BST.