Skip Navigation

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

Contents: Volume 2, Number 4, August 1992   [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

CHRIS HANKIN

J Logic Computation 1992 2: 437-439; doi:10.1093/logcom/2.4.437 [PDF] [Request Permissions]  

HANNE RIIS NIELSON and FLEMMING NIELSON

J Logic Computation 1992 2: 441-464; doi:10.1093/logcom/2.4.441 [Abstract] [PDF] [Request Permissions]  

JOHN HUGHES and JOHN LAUNCHBURY

J Logic Computation 1992 2: 465-482; doi:10.1093/logcom/2.4.465 [Abstract] [PDF] [Request Permissions]  

SIMON HUGHES

J Logic Computation 1992 2: 483-509; doi:10.1093/logcom/2.4.483 [Abstract] [PDF] [Request Permissions]  

PATRICK COUSOT and RADHIA COUSOT

J Logic Computation 1992 2: 511-547; doi:10.1093/logcom/2.4.511 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 1992 2: 549; doi:10.1093/logcom/2.4.549 [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.