Skip Navigation

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

Contents: Volume 7, Number 6, December 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

DAVID BASIN, SEÁN MATTHEWS, and LUCA VIGANÒ

J Logic Computation 1997 7: 685-717; doi:10.1093/logcom/7.6.685 [Abstract] [PDF] [Request Permissions]  

HEINRICH WANSING

J Logic Computation 1997 7: 719-731; doi:10.1093/logcom/7.6.719 [Abstract] [PDF] [Request Permissions]  

SILVIO GHILARDI

J Logic Computation 1997 7: 733-752; doi:10.1093/logcom/7.6.733 [Abstract] [PDF] [Request Permissions]  

ROBERTA GORI and GIORGIO LEVI

J Logic Computation 1997 7: 753-776; doi:10.1093/logcom/7.6.753 [Abstract] [PDF] [Request Permissions]  

RONEN I. BRAFMAN

J Logic Computation 1997 7: 777-803; doi:10.1093/logcom/7.6.777 [Abstract] [PDF] [Request Permissions]  

THOMAS EITER, GEORG GOTTLOB, and NICOLA LEONE

J Logic Computation 1997 7: 805-824; doi:10.1093/logcom/7.6.805 [Abstract] [PDF] [Request Permissions]  

ROY L. CROLE

J Logic Computation 1997 7: 825-827; doi:10.1093/logcom/7.6.825 [PDF] [Request Permissions]  


J Logic Computation 1997 7: 829-830; doi:10.1093/logcom/7.6.829 [PDF] [Request Permissions]  


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


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


J Logic Computation 1997 7: 835-837; doi:10.1093/logcom/7.6.835 [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.