Skip Navigation

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

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

MICHAEL FISHER

J Logic Computation 1997 7: 429-456; doi:10.1093/logcom/7.4.429 [Abstract] [PDF] [Request Permissions]  

ETIENNE GRANDJEAN and HANS KLEINE BÜNING

J Logic Computation 1997 7: 457-471; doi:10.1093/logcom/7.4.457 [Abstract] [PDF] [Request Permissions]  

ÀNGEL J. GIL, ANTONI TORRENS, and VENTURA VERDÚ

J Logic Computation 1997 7: 473-500; doi:10.1093/logcom/7.4.473 [Abstract] [PDF] [Request Permissions]  

NATASHA KURTONINA and MAARTEN DE RIJKE

J Logic Computation 1997 7: 501-522; doi:10.1093/logcom/7.4.501 [Abstract] [PDF] [Request Permissions]  

FRANCESCO M. DONINI, DANIELE NARDI, and RICCARDO ROSATI

J Logic Computation 1997 7: 523-548; doi:10.1093/logcom/7.4.523 [Abstract] [PDF] [Request Permissions]  

GUIDO GOVERNATORI

J Logic Computation 1997 7: 549-551; doi:10.1093/logcom/7.4.549 [PDF] [Request Permissions]  


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


J Logic Computation 1997 7: 553-554; doi:10.1093/logcom/7.4.553 [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.