Skip Navigation

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

Contents: Volume 4, Number 3, June 1994   [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

C.A.R HOARE

J Logic Computation 1994 4: 215-216; doi:10.1093/logcom/4.3.215 [PDF] [Request Permissions]  

LEO BACHMAIR and HARALD GANZINGER

J Logic Computation 1994 4: 217-247; doi:10.1093/logcom/4.3.217 [Abstract] [PDF] [Request Permissions]  

ROBERT F. STÄRK

J Logic Computation 1994 4: 249-262; doi:10.1093/logcom/4.3.249 [Abstract] [PDF] [Request Permissions]  

WILLIAM P. R. MITCHELL

J Logic Computation 1994 4: 263-272; doi:10.1093/logcom/4.3.263 [Abstract] [PDF] [Request Permissions]  

SUZANNE ZEITMAN

J Logic Computation 1994 4: 273-283; doi:10.1093/logcom/4.3.273 [Abstract] [PDF] [Request Permissions]  

MARCELLO D' AGOSTINO and MARCO MONDADORI

J Logic Computation 1994 4: 285-319; doi:10.1093/logcom/4.3.285 [Abstract] [PDF] [Request Permissions]  

RUTH KEMPSON

J Logic Computation 1994 4: 321-324; doi:10.1093/logcom/4.3.321 [PDF] [Request Permissions]  

FLÁVIO SOARES CORRÊA DA SILVA

J Logic Computation 1994 4: 324-327; doi:10.1093/logcom/4.3.324 [PDF] [Request Permissions]  

J. M. PLOTKIN

J Logic Computation 1994 4: 327-328; doi:10.1093/logcom/4.3.327 [PDF] [Request Permissions]  

DAVID BILLINGTON

J Logic Computation 1994 4: 328-329; doi:10.1093/logcom/4.3.328 [PDF] [Request Permissions]  


J Logic Computation 1994 4: 330-331; doi:10.1093/logcom/4.3.330 [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.