Skip Navigation

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

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

Tijn Borghuis, Fairouz Kamareddine, and Rob Nederpelt

Logic Jnl IGPL 2002 10: 461-500; doi:10.1093/jigpal/10.5.461 [Abstract] [PDF] [Request Permissions]  

Daniel Damian and Olivier Danvy

Logic Jnl IGPL 2002 10: 501-515; doi:10.1093/jigpal/10.5.501 [Abstract] [PDF] [Request Permissions]  

Dov M. Gabbay, Odinaldo Rodrigues, and John Woods

Logic Jnl IGPL 2002 10: 501-549; doi:10.1093/jigpal/10.5.501-a [Abstract] [PDF] [Request Permissions]  

Aleksey G. Kravtsov

Logic Jnl IGPL 2002 10: 517-533; doi:10.1093/jigpal/10.5.517 [Abstract] [PDF] [Request Permissions]  

Carsten Lutz

Logic Jnl IGPL 2002 10: 535-568; doi:10.1093/jigpal/10.5.535 [Abstract] [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.