Skip Navigation

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

Contents: Volume 11, Number 1, 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

Dov Gabbay

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

Heinrich Wansing

J Logic Computation 2001 11: 3-4; doi:10.1093/logcom/11.1.3 [PDF] [Request Permissions]  

Klaus Robering

J Logic Computation 2001 11: 5-23; doi:10.1093/logcom/11.1.5 [Abstract] [PDF] [Request Permissions]  

Benedikt Löwe

J Logic Computation 2001 11: 25-40; doi:10.1093/logcom/11.1.25 [Abstract] [PDF] [Request Permissions]  

Joseph Y. Halpern and Gerhard Lakemeyer

J Logic Computation 2001 11: 41-70; doi:10.1093/logcom/11.1.41 [Abstract] [PDF] [Request Permissions]  

Lionel Forget, Vincent Risch, and Pierre Siegel

J Logic Computation 2001 11: 71-83; doi:10.1093/logcom/11.1.71 [Abstract] [PDF] [Request Permissions]  

Stephan Tobies

J Logic Computation 2001 11: 85-106; doi:10.1093/logcom/11.1.85 [Abstract] [PDF] [Request Permissions]  

Thomas M. Rudlof

J Logic Computation 2001 11: 107-155; doi:10.1093/logcom/11.1.107 [Abstract] [PDF] [Request Permissions]  

Enrico Giunchiglia and Fausto Giunchiglia

J Logic Computation 2001 11: 157-192; doi:10.1093/logcom/11.1.157 [Abstract] [PDF] [Request Permissions]  

Luís Da Cunha Lamb

J Logic Computation 2001 11: 193-194; doi:10.1093/logcom/11.1.193 [PDF] [Request Permissions]  


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


J Logic Computation 2001 11: 197-198; doi:10.1093/logcom/11.1.197 [PDF] [Request Permissions]  


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