Skip Navigation

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

Contents: Volume 6, Number 3, June 1996   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF)

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

Z. QIAN

J Logic Computation 1996 6: 315-341; doi:10.1093/logcom/6.3.315 [Abstract] [PDF] [Request Permissions]  

LIMOR FIX and ORNA GRUMBERG

J Logic Computation 1996 6: 343-361; doi:10.1093/logcom/6.3.343 [Abstract] [PDF] [Request Permissions]  

CHRISTOPHER P. HIGGINS

J Logic Computation 1996 6: 363-407; doi:10.1093/logcom/6.3.363 [Abstract] [PDF] [Request Permissions]  

NARCISO MARTÍ-OLIET and JOSÉ MESEGUER

J Logic Computation 1996 6: 409-438; doi:10.1093/logcom/6.3.409 [Abstract] [PDF] [Request Permissions]  

N. BIDOIT, S. CERRITO, and C. FROIDEVAUX

J Logic Computation 1996 6: 439-463; doi:10.1093/logcom/6.3.439 [Abstract] [PDF] [Request Permissions]  

RON van der MEYDEN

J Logic Computation 1996 6: 465-479; doi:10.1093/logcom/6.3.465 [Abstract] [PDF] [Request Permissions]  

NILS ANDERSEN

J Logic Computation 1996 6: 481-482; doi:10.1093/logcom/6.3.481 [PDF] [Request Permissions]  

GERHARD BEHRENDT

J Logic Computation 1996 6: 482-484; doi:10.1093/logcom/6.3.482 [PDF] [Request Permissions]  

KRYSIA BRODA

J Logic Computation 1996 6: 484-485; doi:10.1093/logcom/6.3.484 [PDF] [Request Permissions]  

FLEMMING NIELSON

J Logic Computation 1996 6: 485-487; doi:10.1093/logcom/6.3.485 [PDF] [Request Permissions]  


J Logic Computation 1996 6: 488-489; doi:10.1093/logcom/6.3.488 [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.