Skip Navigation

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

Contents: Volume 13, Number 5, 2003   [Index by Author] 
Other Issues: Previous Next  

Down Articles

 
Semantic Foundations of Proof-search
 

[Search ALL Issues]

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 J. Pym

J Logic Computation 2003 13: 633-638; doi:10.1093/logcom/13.5.633 [PDF] [Request Permissions]  

Iliano Cervesato and Frank Pfenning

J Logic Computation 2003 13: 639-688; doi:10.1093/logcom/13.5.639 [Abstract] [PDF] [Request Permissions]  

Roy Dyckhoff and Christian Urban

J Logic Computation 2003 13: 689-706; doi:10.1093/logcom/13.5.689 [Abstract] [PDF] [Request Permissions]  

Didier Galmiche and Daniel Méry

J Logic Computation 2003 13: 707-753; doi:10.1093/logcom/13.5.707 [Abstract] [PDF] [Request Permissions]  

Gianluigi Bellin and Kurt Ranalter

J Logic Computation 2003 13: 755-775; doi:10.1093/logcom/13.5.755 [Abstract] [PDF] [Request Permissions]  

Edmund Robinson

J Logic Computation 2003 13: 777-797; doi:10.1093/logcom/13.5.777 [Abstract] [PDF] [Request Permissions]  

David Pym

J Logic Computation 2003 13: 799-800; doi:10.1093/logcom/13.5.799 [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.