Skip Navigation

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

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

Fairouz Kamareddine

J Logic Computation 2001 11: 359-361; doi:10.1093/logcom/11.3.359 [PDF] [Request Permissions]  

Fairouz Kamareddine

J Logic Computation 2001 11: 363-394; doi:10.1093/logcom/11.3.363 [Abstract] [PDF] [Request Permissions]  

Mariangiola Dezani-Ciancaglini, Furio Honsell, and Yoko Motohama

J Logic Computation 2001 11: 395-417; doi:10.1093/logcom/11.3.395 [Abstract] [PDF] [Request Permissions]  

Gilles Dowek

J Logic Computation 2001 11: 419-429; doi:10.1093/logcom/11.3.419 [Abstract] [PDF] [Request Permissions]  

Hugo Herbelin

J Logic Computation 2001 11: 431-451; doi:10.1093/logcom/11.3.431 [Abstract] [PDF] [Request Permissions]  

Hélène Kirchner and Peter D. Mosses

J Logic Computation 2001 11: 453-481; doi:10.1093/logcom/11.3.453 [Abstract] [PDF] [Request Permissions]  

Jonathan P. Seldin

J Logic Computation 2001 11: 483-493; doi:10.1093/logcom/11.3.483 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 2001 11: 495; doi:10.1093/logcom/11.3.495 [Abstract] [PDF] [Request Permissions]  


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