Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: S

Number of items: 1.

S

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 http://www.springer.de/comp/lncs/index.html, pp. 182-196. ISBN 3-540-65012-1. (KAR id:21647)

This list was generated on Wed Apr 24 23:00:04 2024 BST.