Skip Navigation

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

Contents: Volume 11, Number 2, 2001   [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

Orna Grumberg and Robert P. Kurshan

J Logic Computation 2001 11: 201-228; doi:10.1093/logcom/11.2.201 [Abstract] [PDF] [Request Permissions]  

Daniel Lehmann

J Logic Computation 2001 11: 229-256; doi:10.1093/logcom/11.2.229 [Abstract] [PDF] [Request Permissions]  

Gerhard Brewka

J Logic Computation 2001 11: 257-282; doi:10.1093/logcom/11.2.257 [Abstract] [PDF] [Request Permissions]  

Agata Ciabattoni

J Logic Computation 2001 11: 283-294; doi:10.1093/logcom/11.2.283 [Abstract] [PDF] [Request Permissions]  

Michiel van Lambalgen

J Logic Computation 2001 11: 295-336; doi:10.1093/logcom/11.2.295 [Abstract] [PDF] [Request Permissions]  

Gilbert Ndjatou

J Logic Computation 2001 11: 337-354; doi:10.1093/logcom/11.2.337 [Abstract] [PDF] [Request Permissions]  

Richard Overill

J Logic Computation 2001 11: 355; doi:10.1093/logcom/11.2.355 [PDF] [Request Permissions]  

Richard Overill

J Logic Computation 2001 11: 355-356; doi:10.1093/logcom/11.2.355-a [PDF] [Request Permissions]  

Richard Overill

J Logic Computation 2001 11: 356; doi:10.1093/logcom/11.2.356 [PDF] [Request Permissions]  


J Logic Computation 2001 11: 357-358; doi:10.1093/logcom/11.2.357 [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.