Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 14, Number 5, 2004   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Articles Back

Heinrich Wansing

J Logic Computation 2004 14: 623; doi:10.1093/logcom/14.5.623 [PDF] [Request Permissions]  

Norihiro Kamide

J Logic Computation 2004 14: 625-650; doi:10.1093/logcom/14.5.625 [Abstract] [PDF] [Request Permissions]  

Razvan Diaconescu

J Logic Computation 2004 14: 651-674; doi:10.1093/logcom/14.5.651 [Abstract] [PDF] [Request Permissions]  

Guido Governatori, Michael J. Maher, Grigoris Antoniou, and David Billington

J Logic Computation 2004 14: 675-702; doi:10.1093/logcom/14.5.675 [Abstract] [PDF] [Request Permissions]  

Erik T. Mueller

J Logic Computation 2004 14: 703-730; doi:10.1093/logcom/14.5.703 [Abstract] [PDF] [Request Permissions]  

Murray Shanahan and Mark Witkowski

J Logic Computation 2004 14: 731-745; doi:10.1093/logcom/14.5.731 [Abstract] [PDF] [Request Permissions]  

Paolo Liberatore

J Logic Computation 2004 14: 747-765; doi:10.1093/logcom/14.5.747 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 2004 14: 767; doi:10.1093/logcom/14.5.767 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.