Skip Navigation

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

Contents: Volume 10, Number 4, 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

G Longo, K Milsted, and S Soloviev

J Logic Computation 2000 10: 493-526; doi:10.1093/logcom/10.4.493 [Abstract] [Request Permissions]  

EF de Lima and C Lingenfelder

J Logic Computation 2000 10: 527-572; doi:10.1093/logcom/10.4.527 [Abstract] [PDF] [Request Permissions]  

K Schlechta

J Logic Computation 2000 10: 573-581; doi:10.1093/logcom/10.4.573 [Abstract] [Request Permissions]  

L Ekenberg

J Logic Computation 2000 10: 583-602; doi:10.1093/logcom/10.4.583 [Abstract] [PDF] [Request Permissions]  

P Peppas, N Foo, and A Nayak

J Logic Computation 2000 10: 603-619; doi:10.1093/logcom/10.4.603 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 2000 10: 621-622; doi:10.1093/logcom/10.4.621 [PDF] [Request Permissions]  


J Logic Computation 2000 10: 623; doi:10.1093/logcom/10.4.623 [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.