Skip Navigation

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

Contents: Volume 8, Number 1, 2000   [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

N Ghani, V de Paiva, and E Ritter

Logic Jnl IGPL 2000 8: 7-31; doi:10.1093/jigpal/8.1.7 [Abstract] [PDF] [Request Permissions]  

CD Koutras and S Zachos

Logic Jnl IGPL 2000 8: 33-54; doi:10.1093/jigpal/8.1.33 [Abstract] [PDF] [Request Permissions]  

O Lichtenstein and A Pneuli

Logic Jnl IGPL 2000 8: 55-85; doi:10.1093/jigpal/8.1.55 [Abstract] [PDF] [Request Permissions]  

W Penczek

Logic Jnl IGPL 2000 8: 87-99; doi:10.1093/jigpal/8.1.87 [Abstract] [PDF] [Request Permissions]  

T Nicholson, RE Jennings, and D Sarenac

Logic Jnl IGPL 2000 8: 101-105; doi:10.1093/jigpal/8.1.101 [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.