Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 6 Issue 03

 

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 6 - Issue 03  

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

Regular Papers

 
 

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems

GIORGIO DELZANNO, SANDRO ETALLE and MAURIZIO GABBRIELLI

Theory and Practice of Logic Programming, Volume 6, Issue 03, May 2006, pp 225-226
doi:10.1017/S1471068406002638 (About doi), Published Online by Cambridge University Press 11 May 2006
 

Equivalence-checking on infinite-state systems: Techniques and results

ANTONÍN KUCERA and PETR JANCAR

Theory and Practice of Logic Programming, Volume 6, Issue 03, May 2006, pp 227-264
doi:10.1017/S1471068406002651 (About doi), Published Online by Cambridge University Press 11 May 2006
 

Automatic verification of timed concurrent constraint programs

MORENO FALASCHI and ALICIA VILLANUEVA

Theory and Practice of Logic Programming, Volume 6, Issue 03, May 2006, pp 265-300
doi:10.1017/S1471068406002675 (About doi), Published Online by Cambridge University Press 11 May 2006
 

State space computation and analysis of Time Petri Nets

GUILLAUME GARDEY, OLIVIER H. ROUX and OLIVIER F. ROUX

Theory and Practice of Logic Programming, Volume 6, Issue 03, May 2006, pp 301-320
doi:10.1017/S147106840600264X (About doi), Published Online by Cambridge University Press 11 May 2006
 

Parametric Verification of a Group Membership Algorithm

AHMED BOUAJJANI and AGATHE MERCERON

Theory and Practice of Logic Programming, Volume 6, Issue 03, May 2006, pp 321-353
doi:10.1017/S1471068406002663 (About doi), Published Online by Cambridge University Press 11 May 2006
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press