Skip Navigation

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

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

MAURIZIO GABBRIELLI, GIORGIO LEVI, and MARIA CHIARA MEO

J Logic Computation 1996 6: 491-521; doi:10.1093/logcom/6.4.491 [Abstract] [PDF] [Request Permissions]  

ORNA KUPFERMAN and ORNA GRUMBERG

J Logic Computation 1996 6: 523-539; doi:10.1093/logcom/6.4.523 [Abstract] [PDF] [Request Permissions]  

NARCISO MARTÍ-OLIET and JOSÉ MESEGUER

J Logic Computation 1996 6: 541-572; doi:10.1093/logcom/6.4.541 [Abstract] [PDF] [Request Permissions]  

SAKTHI SUBRAMANIAN

J Logic Computation 1996 6: 573-598; doi:10.1093/logcom/6.4.573 [Abstract] [PDF] [Request Permissions]  

KARL SCHLECHTA

J Logic Computation 1996 6: 599-622; doi:10.1093/logcom/6.4.599 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 1996 6: 623-625; doi:10.1093/logcom/6.4.623 [PDF] [Request Permissions]  


J Logic Computation 1996 6: 626-627; doi:10.1093/logcom/6.4.626 [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.