Regular Papers
A non-termination criterion for binary constraint logic programs
-
- Published online by Cambridge University Press:
- 18 February 2009, pp. 145-164
-
- Article
- Export citation
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
-
- Published online by Cambridge University Press:
- 10 February 2009, pp. 165-212
-
- Article
- Export citation
On finitely recursive programs1
-
- Published online by Cambridge University Press:
- 11 March 2009, pp. 213-238
-
- Article
- Export citation
Book Review
Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN-13: 9780521898850, $70.00.
-
- Published online by Cambridge University Press:
- 11 March 2009, pp. 239-243
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 9 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 11 March 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 9 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 11 March 2009, pp. b1-b3
-
- Article
-
- You have access
- Export citation