Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 8 Issue 01

 

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 8 - Issue 01  

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

Regular Papers

 
 

Calculating modules in contextual logic program refinement

ROBERT COLVIN, IAN J. HAYES and PAUL STROOPER

Theory and Practice of Logic Programming, Volume 8, Issue 01, January 2008, pp 1-31
doi:10.1017/S1471068407003043 (About doi), Published Online by Cambridge University Press 15 May 2007
 

Improving precision of type analysis using non-discriminative union

LUNJIN LU

Theory and Practice of Logic Programming, Volume 8, Issue 01, January 2008, pp 33-79
doi:10.1017/S1471068407003055 (About doi), Published Online by Cambridge University Press 23 May 2007
 

Linear tabling strategies and optimizations

NENG-FA ZHOU, TAISUKE SATO and YI-DONG SHEN

Theory and Practice of Logic Programming, Volume 8, Issue 01, January 2008, pp 81-109
doi:10.1017/S147106840700316X (About doi), Published Online by Cambridge University Press 06 Aug 2007
 

Technical Note

 
 

Recurrence with affine level mappings is P-time decidable for CLP$({\mathbb R})$

FRED MESNARD and ALEXANDER SEREBRENIK

Theory and Practice of Logic Programming, Volume 8, Issue 01, January 2008, pp 111-119
doi:10.1017/S1471068407003122 (About doi), Published Online by Cambridge University Press 29 May 2007
 

Programming Pearl

 
 

Logic programming with satisfiability

MICHAEL CODISH, VITALY LAGOON and PETER J. STUCKEY

Theory and Practice of Logic Programming, Volume 8, Issue 01, January 2008, pp 121-128
doi:10.1017/S1471068407003146 (About doi), Published Online by Cambridge University Press 25 May 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press