Skip Navigation

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

Contents: Volume 10, Number 5, 2000   [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

L Giordano, A Martelli, and C Schwind

J Logic Computation 2000 10: 625-662; doi:10.1093/logcom/10.5.625 [Abstract] [PDF] [Request Permissions]  

J Derrick

J Logic Computation 2000 10: 663-675; doi:10.1093/logcom/10.5.663 [Abstract] [PDF] [Request Permissions]  

A Hunter

J Logic Computation 2000 10: 677-703; doi:10.1093/logcom/10.5.677 [Abstract] [PDF] [Request Permissions]  

J Engelfriet

J Logic Computation 2000 10: 705-719; doi:10.1093/logcom/10.5.705 [Abstract] [PDF] [Request Permissions]  

F Kamareddine

J Logic Computation 2000 10: 721-738; doi:10.1093/logcom/10.5.721 [Abstract] [PDF] [Request Permissions]  

R Overill

J Logic Computation 2000 10: 739; doi:10.1093/logcom/10.5.739 [PDF] [Request Permissions]  


J Logic Computation 2000 10: 741-742; doi:10.1093/logcom/10.5.741 [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.