Skip Navigation

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

Contents: Volume 8, Number 1, February 1998   [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

D. M. GABBAY

J Logic Computation 1998 8: 3; doi:10.1093/logcom/8.1.3 [PDF] [Request Permissions]  

ROBERT HARPER and FRANK PFENNING

J Logic Computation 1998 8: 5-31; doi:10.1093/logcom/8.1.5 [Abstract] [PDF] [Request Permissions]  

MELVIN FITTING

J Logic Computation 1998 8: 33-47; doi:10.1093/logcom/8.1.33 [Abstract] [PDF] [Request Permissions]  

SEYED-HASSAN MIRIAN-HOSSEINABADI and RAYMOND TURNER

J Logic Computation 1998 8: 49-70; doi:10.1093/logcom/8.1.49 [Abstract] [PDF] [Request Permissions]  

LAURI HELLA and HENRIK IMHOF

J Logic Computation 1998 8: 71-86; doi:10.1093/logcom/8.1.71 [Abstract] [PDF] [Request Permissions]  

GÖSTA GRAHNE

J Logic Computation 1998 8: 87-117; doi:10.1093/logcom/8.1.87 [Abstract] [PDF] [Request Permissions]  

DAVID GRIES and FRED B. SCHNEIDER

J Logic Computation 1998 8: 119-130; doi:10.1093/logcom/8.1.119 [Abstract] [PDF] [Request Permissions]  

FLÁVIO S. CORRÊA DA SILVA

J Logic Computation 1998 8: 131; doi:10.1093/logcom/8.1.131 [PDF] [Request Permissions]  


J Logic Computation 1998 8: 132; doi:10.1093/logcom/8.1.132 [PDF] [Request Permissions]  


J Logic Computation 1998 8: 133-134; doi:10.1093/logcom/8.1.133 [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.