Skip Navigation

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

Contents: Volume 7, Number 2, April 1997   [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

JIANHUA CHEN

J Logic Computation 1997 7: 159-174; doi:10.1093/logcom/7.2.159 [Abstract] [PDF] [Request Permissions]  

Lawrence C. Paulson

J Logic Computation 1997 7: 175-204; doi:10.1093/logcom/7.2.175 [Abstract] [PDF] [Request Permissions]  

MARTIN GROHE

J Logic Computation 1997 7: 205-228; doi:10.1093/logcom/7.2.205 [Abstract] [PDF] [Request Permissions]  

RAYMOND TURNER

J Logic Computation 1997 7: 229-250; doi:10.1093/logcom/7.2.229 [Abstract] [PDF] [Request Permissions]  

JOHAN van BENTHEM, GIOVANNA D' AGOSTINO, ANGELO MONTANARI, and ALBERTO POLICRTTI

J Logic Computation 1997 7: 251-265; doi:10.1093/logcom/7.2.251 [Abstract] [PDF] [Request Permissions]  

DINO PEDRESCHI and SALVATORE RUGGIERI

J Logic Computation 1997 7: 267-303; doi:10.1093/logcom/7.2.267 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 1997 7: 305; doi:10.1093/logcom/7.2.305 [PDF] [Request Permissions]  


J Logic Computation 1997 7: 306-307; doi:10.1093/logcom/7.2.306 [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.