Skip Navigation

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

Contents: Volume 11, Number 4, 2003   [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

Johan Bos and Michael Kohlhase

Logic Jnl IGPL 2003 11: 381-384; doi:10.1093/jigpal/11.4.381 [PDF] [Request Permissions]  

Yaroslav Fyodorov, Yoad Winter, and Nissim Francez

Logic Jnl IGPL 2003 11: 385-416; doi:10.1093/jigpal/11.4.385 [Abstract] [PDF] [Request Permissions]  

Raffaella Bernardi and Richard Moot

Logic Jnl IGPL 2003 11: 419-434; doi:10.1093/jigpal/11.4.419 [Abstract] [PDF] [Request Permissions]  

Michael Kohlhase and Alexander Koller

Logic Jnl IGPL 2003 11: 435-456; doi:10.1093/jigpal/11.4.435 [Abstract] [PDF] [Request Permissions]  

Claus Zinn

Logic Jnl IGPL 2003 11: 457-484; doi:10.1093/jigpal/11.4.457 [Abstract] [PDF] [Request Permissions]  

Jörn Kreutel and Colin Matheson

Logic Jnl IGPL 2003 11: 485-511; doi:10.1093/jigpal/11.4.485 [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.