Skip Navigation

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

Contents: Volume 7, Number 5, October 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

DOMENICO SACCÀ and CARO ZANIOLO

J Logic Computation 1997 7: 555-579; doi:10.1093/logcom/7.5.555 [Abstract] [PDF] [Request Permissions]  

HANS JÜRGEN OHLBACH and RENATE A. SCHMIDT

J Logic Computation 1997 7: 581-603; doi:10.1093/logcom/7.5.581 [Abstract] [PDF] [Request Permissions]  

HASSAN BEZZAZI, DAVID MAKINSON, and RAMÓN PINO PÉREZ

J Logic Computation 1997 7: 605-631; doi:10.1093/logcom/7.5.605 [Abstract] [PDF] [Request Permissions]  

HO NGOC DUC

J Logic Computation 1997 7: 633-648; doi:10.1093/logcom/7.5.633 [Abstract] [PDF] [Request Permissions]  

RAJEEV GORÉ, WOLFGANG HEINLE, and ALAIN HEUERDING

J Logic Computation 1997 7: 649-658; doi:10.1093/logcom/7.5.649 [Abstract] [PDF] [Request Permissions]  

EGON BÖRGER and PETER H. SCHMITT

J Logic Computation 1997 7: 659-681; doi:10.1093/logcom/7.5.659 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 1997 7: 683-684; doi:10.1093/logcom/7.5.683 [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.