Skip Navigation

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

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

M. van EMDEN

J Logic Computation 1992 2: 551-555; doi:10.1093/logcom/2.5.551 [PDF] [Request Permissions]  

A. W. ROSCOE

J Logic Computation 1992 2: 557-577; doi:10.1093/logcom/2.5.557 [Abstract] [PDF] [Request Permissions]  

FAIROUZ KAMAREDDINE

J Logic Computation 1992 2: 579-604; doi:10.1093/logcom/2.5.579 [Abstract] [PDF] [Request Permissions]  

E. M. CLARKE, O. GRUMBERG, and R. P. KURSHAN

J Logic Computation 1992 2: 605-618; doi:10.1093/logcom/2.5.605 [Abstract] [PDF] [Request Permissions]  

AN SAHLIN, TORKEL FRANZÉN, and SEIF HARIDI

J Logic Computation 1992 2: 619-656; doi:10.1093/logcom/2.5.619 [Abstract] [PDF] [Request Permissions]  

ARNON AVRON

J Logic Computation 1992 2: 657-659; doi:10.1093/logcom/2.5.657 [PDF] [Request Permissions]  

J. M. DIETERLE

J Logic Computation 1992 2: 659-661; doi:10.1093/logcom/2.5.659 [PDF] [Request Permissions]  

D. DUBOIS

J Logic Computation 1992 2: 661-668; doi:10.1093/logcom/2.5.661 [PDF] [Request Permissions]  

HEINRICH WANSING

J Logic Computation 1992 2: 668; doi:10.1093/logcom/2.5.668 [PDF] [Request Permissions]  


J Logic Computation 1992 2: 669; doi:10.1093/logcom/2.5.669 [PDF] [Request Permissions]  


J Logic Computation 1992 2: 670; doi:10.1093/logcom/2.5.670 [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.