Skip Navigation

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

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

FRANK S. de BOER, ALESSANDRA Di PIERRO, and CATUSCIA PALAMIDESSI

J Logic Computation 1997 7: 1-38; doi:10.1093/logcom/7.1.1 [Abstract] [PDF] [Request Permissions]  

BERNHARD BECKERT

J Logic Computation 1997 7: 39-58; doi:10.1093/logcom/7.1.39 [Abstract] [PDF] [Request Permissions]  

PHILIPPE BALBIANI, LUIS FARIÑAS DEL CERRO, TINKO TINCHEV, and DIMITER VAKARELOV

J Logic Computation 1997 7: 59-78; doi:10.1093/logcom/7.1.59 [Abstract] [PDF] [Request Permissions]  

JOSEPH Y. HALPERN

J Logic Computation 1997 7: 79-108; doi:10.1093/logcom/7.1.79 [Abstract] [PDF] [Request Permissions]  

MADHURA NIRKHE, SARIT KRAUS, MICHAEL MILLER, and DONALD PERLIS

J Logic Computation 1997 7: 109-156; doi:10.1093/logcom/7.1.109 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 1997 7: 157-158; doi:10.1093/logcom/7.1.157 [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.