Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 9 Issue 02

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

567,269 articles from 321 leading journals.

Customize Your Search Toolbar

Theory and Practice of Logic Programming

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • A. Bossi, Università Ca’ Foscari di Venezia, Italy

Sort by

Previous Issue Next Issue

Table of Contents - Volume 9 - Issue 02  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Front Cover (OFC, IFC) and matter

 
 

TLP volume 9 issue 2 Cover and Front matter

Theory and Practice of Logic Programming, Volume 9, Issue 02, March 2009, pp f1-f2
doi:10.1017/S1471068409003743 (About doi), Published Online by Cambridge University Press 11 Mar 2009
 

Back Cover (IBC, OBC) and matter

 
 

TLP volume 9 issue 2 Cover and Back matter

Theory and Practice of Logic Programming, Volume 9, Issue 02, March 2009, pp b1-b3
doi:10.1017/S1471068409003755 (About doi), Published Online by Cambridge University Press 11 Mar 2009
 

Regular Papers

 
 

A non-termination criterion for binary constraint logic programs

ÉTIENNE PAYET and FRED MESNARD

Theory and Practice of Logic Programming, Volume 9, Issue 02, March 2009, pp 145-164
doi:10.1017/S1471068409003652 (About doi), Published Online by Cambridge University Press 18 Feb 2009
 

Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities

LESLIE DE KONINCK

Theory and Practice of Logic Programming, Volume 9, Issue 02, March 2009, pp 165-212
doi:10.1017/S1471068409003664 (About doi), Published Online by Cambridge University Press 10 Feb 2009
 

On finitely recursive programs

SABRINA BASELICE, PIERO A. BONATTI and GIOVANNI CRISCUOLO

Theory and Practice of Logic Programming, Volume 9, Issue 02, March 2009, pp 213-238
doi:10.1017/S147106840900372X (About doi), Published Online by Cambridge University Press 11 Mar 2009
 

Book Reviews

 
 

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.

Femke van Raamsdonk

Theory and Practice of Logic Programming, Volume 9, Issue 02, March 2009, pp 239-243
doi:10.1017/S1471068409003731 (About doi), Published Online by Cambridge University Press 11 Mar 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press