Quick Search:

Cite Search:

Home> Theory and Practice of Logic Programming> Vol. 8 Issue 04

Log In

Cambridge Journals Digital Archive

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

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

567,269 articles from 321 leading journals.

Sort by

Next Issue


	Please select Articles below or use Select All, then click the appropriate button above.	Select/Deselect All:
	Regular Papers
	Theory of finite or infinite trees revisited KHALIL DJELLOUL, THI-BICH-HANH DAO and THOM FRÜHWIRTH Theory and Practice of Logic Programming, Volume 8, Issue 04, July 2008, pp 431-489 doi:10.1017/S1471068407003171 (About doi), Published Online by Cambridge University Press 12 May 2008 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	TCHR: a framework for tabled CLP TOM SCHRIJVERS, BART DEMOEN and DAVID S. WARREN Theory and Practice of Logic Programming, Volume 8, Issue 04, July 2008, pp 491-526 doi:10.1017/S147106840800327X (About doi), Published Online by Cambridge University Press 26 Feb 2008 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	Technical Note
	Preferred extensions as stable models JUAN CARLOS NIEVES, ULISES CORTÉS and MAURICIO OSORIO Theory and Practice of Logic Programming, Volume 8, Issue 04, July 2008, pp 527-543 doi:10.1017/S1471068408003359 (About doi), Published Online by Cambridge University Press 08 May 2008 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	Please select Articles above or use Select All, then click the appropriate button below.	Select/Deselect All:

Sort by