Skip Navigation

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

Contents: Volume 15, Number 3, June 2005   [Index by Author] 
Other Issues: Previous Next  

Down Original Articles
Down Book Reviews
Down Forthcoming Papers


[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.

Original Articles Back

Arnon Avron and Iddo Lev

J Logic Computation 2005 15: 241-261; doi:10.1093/logcom/exi001 [Abstract] [PDF] [Request Permissions]  

Jonathan Ben-Naim

J Logic Computation 2005 15: 263-294; doi:10.1093/logcom/exi013 [Abstract] [PDF] [Request Permissions]  

Marc Pauly

J Logic Computation 2005 15: 295-316; doi:10.1093/logcom/exi014 [Abstract] [PDF] [Request Permissions]  

Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, and Tom Maibaum

J Logic Computation 2005 15: 317-352; doi:10.1093/logcom/exi015 [Abstract] [PDF] [Request Permissions]  

Sabine Broda and Luís Damas

J Logic Computation 2005 15: 353-390; doi:10.1093/logcom/exi016 [Abstract] [PDF] [Request Permissions]  

Pascal Hitzler

J Logic Computation 2005 15: 391-404; doi:10.1093/logcom/exi018 [Abstract] [PDF] [Request Permissions]  

Book Reviews Back

Richard E Overill

J Logic Computation 2005 15: 405; doi:10.1093/logcom/exi020 [PDF] [Request Permissions]  

Forthcoming Papers Back


J Logic Computation 2005 15: 407-408; doi:10.1093/logcom/exi024 [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.