Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 7 Issue 1-2

 

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:

568,935 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 7 - Issue 1-2  

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

Regular Papers

 
 

Introduction Special Issue on Multiparadigm Languages and Constraint Programming

MORENO FALASCHI and MICHAEL MAHER

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 1-2
doi:10.1017/S1471068406002808 (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

Removing redundant arguments automatically

M. ALPUENTE, S. ESCOBAR and S. LUCAS

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 3-35
doi:10.1017/S1471068406002869 (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

Combining relational algebra, SQL, constraint modelling, and local search

MARCO CADOLI and TONI MANCINI

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 37-65
doi:10.1017/S1471068406002857 (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

Constraint-based automatic verification of abstract models of multithreaded programs

GIORGIO DELZANNO

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 67-91
doi:10.1017/S1471068406002821 (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

Integration of declarative and constraint programming

PETRA HOFSTEDT and PETER PEPPER

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 93-121
doi:10.1017/S1471068406002833 (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

Mapping Fusion and Synchronized Hyperedge Replacement into logic programming

IVAN LANESE and UGO MONTANARI

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 123-151
doi:10.1017/S147106840600281X (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

Demand analysis with partial predicates

JULIO MARIÑO, ÁNGEL HERRANZ and JUAN JOSÉ MORENO-NAVARRO

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 153-182
doi:10.1017/S1471068406002882 (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

A comparison between two logical formalisms for rewriting

MIGUEL PALOMINO

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 183-213
doi:10.1017/S1471068406002845 (About doi), Published Online by Cambridge University Press 09 Feb 2007
 

Forward slicing of functional logic programs by partial evaluation

JOSEP SILVA and GERMÁN VIDAL

Theory and Practice of Logic Programming, Volume 7, Issue 1-2, January 2007, pp 215-247
doi:10.1017/S1471068406002870 (About doi), Published Online by Cambridge University Press 09 Feb 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press