Skip Navigation

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

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

Michael Balser, Christoph Duelli, Wolfgang Reif, and Gerhard Schellhorn

J Logic Computation 2002 12: 549-560; doi:10.1093/logcom/12.4.549 [Abstract] [PDF] [Request Permissions]  

Alexander Bolotov, Michael Fisher, and Clare Dixon

J Logic Computation 2002 12: 561-581; doi:10.1093/logcom/12.4.561 [Abstract] [PDF] [Request Permissions]  

Bernhard Heinemann

J Logic Computation 2002 12: 583-606; doi:10.1093/logcom/12.4.583 [Abstract] [PDF] [Request Permissions]  

David N. Jansen and Roel J. Wieringa

J Logic Computation 2002 12: 607-621; doi:10.1093/logcom/12.4.607 [Abstract] [PDF] [Request Permissions]  

Martin Lange and Colin Stirling

J Logic Computation 2002 12: 623-639; doi:10.1093/logcom/12.4.623 [Abstract] [PDF] [Request Permissions]  

Angelo Montanari, Adriano Peron, and Alberto Policriti

J Logic Computation 2002 12: 641-677; doi:10.1093/logcom/12.4.641 [Abstract] [PDF] [Request Permissions]  

Mark Reynolds

J Logic Computation 2002 12: 679-697; doi:10.1093/logcom/12.4.679 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 2002 12: 699-700; doi:10.1093/logcom/12.4.699 [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.