273 | -- | 303 | María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal. Specialization of functional logic programs based on needed narrowing |
305 | -- | 354 | Gopalan Nadathur. A treatment of higher-order features in logic programming |
355 | -- | 390 | Alexander Serebrenik, Danny De Schreye. On termination of meta-programs |
391 | -- | 395 | Bart Demoen. Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8 |
395 | -- | 399 | Nachum Dershowitz. Book review: Term Rewriting Systems by Terese (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6 |