Skip Navigation

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

Contents: Volume 15, Number 4, August 2005   [Index by Author] 
Other Issues: Previous Next  

Down Editorial
Down Original Articles
Down Forthcoming Papers

 
Selected Papers from the 3rd Moscow-Vienna Workshop
 

[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.

Editorial Back

S. I. Adian, M. Baaz, and L. D. Beklemishev

J Logic Computation 2005 15: 409; doi:10.1093/logcom/exi036 [PDF] [Request Permissions]  

Original Articles Back

Emil Jerábek

J Logic Computation 2005 15: 411-431; doi:10.1093/logcom/exi029 [Abstract] [PDF] [Request Permissions]  

Arnold Beckmann

J Logic Computation 2005 15: 433-446; doi:10.1093/logcom/exi035 [Abstract] [PDF] [Request Permissions]  

Lev D. Beklemishev, Joost J. Joosten, and Marco Vervoort

J Logic Computation 2005 15: 447-463; doi:10.1093/logcom/exi038 [Abstract] [PDF] [Request Permissions]  

Sagar Chaki, Edmund Clarke, Somesh Jha, and Helmut Veith

J Logic Computation 2005 15: 465-488; doi:10.1093/logcom/exi028 [Abstract] [PDF] [Request Permissions]  

Rosalie Iemhoff

J Logic Computation 2005 15: 489-506; doi:10.1093/logcom/exi031 [Abstract] [PDF] [Request Permissions]  

Sebastiaan A. Terwijn

J Logic Computation 2005 15: 507-515; doi:10.1093/logcom/exi032 [Abstract] [PDF] [Request Permissions]  

Tatiana Yavorskaya (Sidon)

J Logic Computation 2005 15: 517-537; doi:10.1093/logcom/exi026 [Abstract] [PDF] [Request Permissions]  

Rostislav Yavorskiy

J Logic Computation 2005 15: 539-549; doi:10.1093/logcom/exi037 [Abstract] [PDF] [Request Permissions]  

Christian Schallhart and Luca Trevisan

J Logic Computation 2005 15: 551-557; doi:10.1093/logcom/exi033 [Abstract] [PDF] [Request Permissions]  

Ilya Shapirovsky and Valentin Shehtman

J Logic Computation 2005 15: 559-574; doi:10.1093/logcom/exi039 [Abstract] [PDF] [Request Permissions]  

Forthcoming Papers Back


J Logic Computation 2005 15: 575-576; doi:10.1093/logcom/exi044 [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.