Journal of Logic and Computation

Preface

Arnold Beckmann, Benedikt Löwe, and Dag Normann

Logical Approaches to Computational Barriers: CiE 2006
J Logic Computation 2007 17: 1021-1023; doi:10.1093/logcom/exm031 [Full Text] [PDF] [Request Permissions]  

Original Articles

Get checked abstract Bahareh Afshari, George Barmpalias, S. Barry Cooper, and Frank Stephan

Post's Programme for the Ershov Hierarchy
Journal of Logic and Computation Advance Access published on August 8, 2007
J Logic Computation 2007 17: 1025-1040; doi:10.1093/logcom/exm032 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, and Rebecca Weber

Algorithmic Randomness of Closed Sets
J Logic Computation 2007 17: 1041-1062; doi:10.1093/logcom/exm033 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Fredrik Dahlgren

Partial Continuous Functions and Admissible Domain Representations
Journal of Logic and Computation Advance Access published on September 10, 2007
J Logic Computation 2007 17: 1063-1081; doi:10.1093/logcom/exm034 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Arnoud den Boer and Andreas Weiermann

A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions
Journal of Logic and Computation Advance Access published on November 8, 2007
J Logic Computation 2007 17: 1083-1098; doi:10.1093/logcom/exm035 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract A. Sirokofskich and C. Dimitracopoulos

On a Problem of J. Paris
Journal of Logic and Computation Advance Access published on November 13, 2007
J Logic Computation 2007 17: 1099-1107; doi:10.1093/logcom/exm036 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Roy Dyckhoff and Stéphane Lengrand

Call-by-Value -calculus and LJQ
Journal of Logic and Computation Advance Access published on September 21, 2007
J Logic Computation 2007 17: 1109-1134; doi:10.1093/logcom/exm037 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Oleg V. Kudinov and Victor L. Selivanov

Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
Journal of Logic and Computation Advance Access published on October 22, 2007
J Logic Computation 2007 17: 1135-1151; doi:10.1093/logcom/exm038 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Jiang Liu and Guohua Wu

Isolation, Infima and Diamond Embeddings
Journal of Logic and Computation Advance Access published on August 2, 2007
J Logic Computation 2007 17: 1153-1166; doi:10.1093/logcom/exm039 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Alan Skelley

Third-Order Computation and Bounded Arithmetic
Journal of Logic and Computation Advance Access published on November 13, 2007
J Logic Computation 2007 17: 1167-1191; doi:10.1093/logcom/exm040 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Ivan N. Soskov

The -Enumeration Degrees
Journal of Logic and Computation Advance Access published on August 21, 2007
J Logic Computation 2007 17: 1193-1214; doi:10.1093/logcom/exm041 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Alexandra A. Soskova

Relativized Degree Spectra
Journal of Logic and Computation Advance Access published on July 16, 2007
J Logic Computation 2007 17: 1215-1233; doi:10.1093/logcom/exm043 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Mariya Ivanova Soskova

Genericity and Non-bounding in the Enumeration degrees
Journal of Logic and Computation Advance Access published on October 9, 2007
J Logic Computation 2007 17: 1235-1255; doi:10.1093/logcom/exm042 [Abstract] [Full Text] [PDF] [Request Permissions]  

Forthcoming Special Issues

Forthcoming Special Issues
J Logic Computation 2007 17: 1257; doi:10.1093/logcom/exm083 [Full Text] [PDF] [Request Permissions]  

Acknowledgements

Acknowledgements
J Logic Computation 2007 17: 1259; doi:10.1093/logcom/exm075 [PDF] [Request Permissions]  

Author Index

Author Index
J Logic Computation 2007 17: 1261-1262; doi:10.1093/logcom/exm086 [PDF] [Request Permissions]  

Contents for Volume 17

Contents for Volume 17
J Logic Computation 2007 17: 1263-1267; doi:10.1093/logcom/exm087 [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.