Regular Papers
Specialization of functional logic programs based on needed narrowing
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 273-303
-
- Article
- Export citation
A treatment of higher-order features in logic programming
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 305-354
-
- Article
- Export citation
On termination of meta-programs
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 355-390
-
- Article
- Export citation
Book Review
Programming in Prolog. Using the ISO Standard. by William F. Clocksin, Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8, xiii+299 pages
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 391-395
-
- Article
- Export citation
Term Rewriting Systems by “Terese” (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science55, 2003, hard cover: ISBN 0-521-39115-6, xxii+884 pages
-
- Published online by Cambridge University Press:
- 09 May 2005, pp. 395-399
-
- Article
- Export citation