Quick Search:

Cite Search:

Home> Theory and Practice of Logic Programming> Vol. 6 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

568,935 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
	Epistemic foundation of stable model semantics YANN LOYER and UMBERTO STRACCIA Theory and Practice of Logic Programming, Volume 6, Issue 04, July 2006, pp 355-393 doi:10.1017/S1471068405002619 (About doi), Published Online by Cambridge University Press 21 Jun 2006 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	Computing minimal models, stable models and answer sets ZBIGNIEW LONC and MIROSLAW TRUSZCZYNSKI Theory and Practice of Logic Programming, Volume 6, Issue 04, July 2006, pp 395-449 doi:10.1017/S1471068405002607 (About doi), Published Online by Cambridge University Press 21 Jun 2006 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	EPspectra: a formal toolkit for developing DSP software applications HAHNSANG KIM, THIERRY TURLETTI and AMAR BOUALI Theory and Practice of Logic Programming, Volume 6, Issue 04, July 2006, pp 451-481 doi:10.1017/S1471068405002565 (About doi), Published Online by Cambridge University Press 21 Jun 2006 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