Skip Navigation

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

Cover Image
Other Issues:
Previous Next
Contents: Volume 19, Number 1, February 2009   [Index by Author] 

Down Preface
Down Original Articles

 
Special Issue: Logic and Computation in the Real World: CiE 2007

Guest Editors: S. Barry Cooper, Benedikt Löwe and Andrea Sorbi

[Search ALL Issues]


Front Matter (PDF) | Back Matter (PDF) | Table of Contents (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.

Preface Back

S. Barry Cooper, Benedikt Löwe, and Andrea Sorbi
Logic and Computation in the Real World: CiE 2007
J Logic Computation 2009 19: 1-2; doi:10.1093/logcom/exn020 [PDF] [Request Permissions]  

Original Articles Back

George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, and Rebecca Weber
K-Triviality of Closed Sets and Continuous Functions
Journal of Logic and Computation Advance Access published on August 14, 2008
J Logic Computation 2009 19: 3-16; doi:10.1093/logcom/exn021 [Abstract] [PDF] [References] [Request Permissions]  

Andrej Bauer and Christopher A. Stone
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Journal of Logic and Computation Advance Access published on August 2, 2008
J Logic Computation 2009 19: 17-43; doi:10.1093/logcom/exn026 [Abstract] [PDF] [References] [Request Permissions]  

Vasco Brattka and Guido Gherardi
Borel Complexity of Topological Operations on Computable Metric Spaces
Journal of Logic and Computation Advance Access published on August 6, 2008
J Logic Computation 2009 19: 45-76; doi:10.1093/logcom/exn027 [Abstract] [PDF] [References] [Request Permissions]  

Douglas Cenzer, Geoffrey Laforte, and Guohua Wu
Pseudojumps and Formula Classes
Journal of Logic and Computation Advance Access published on July 18, 2008
J Logic Computation 2009 19: 77-87; doi:10.1093/logcom/exn028 [Abstract] [PDF] [References] [Request Permissions]  

Yijia Chen and Jörg Flum
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping
Journal of Logic and Computation Advance Access published on August 3, 2008
J Logic Computation 2009 19: 89-122; doi:10.1093/logcom/exn029 [Abstract] [PDF] [References] [Request Permissions]  

A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín
Existentially Closed Models and Conservation Results in Bounded Arithmetic
J Logic Computation 2009 19: 123-143; doi:10.1093/logcom/exn030 [Abstract] [PDF] [References] [Request Permissions]  

Barbara F. Csima
The Settling Time Reducibility Ordering and {Delta}Formula Sets
Journal of Logic and Computation Advance Access published on August 5, 2008
J Logic Computation 2009 19: 145-150; doi:10.1093/logcom/exn031 [Abstract] [PDF] [References] [Request Permissions]  

Iskander Kalimullin
Enumeration Degrees and Enumerability of Familes
Journal of Logic and Computation Advance Access published on October 1, 2008
J Logic Computation 2009 19: 151-158; doi:10.1093/logcom/exn032 [Abstract] [PDF] [References] [Request Permissions]  

Margarita Korovina and Oleg Kudinov
The Uniformity Principle for {Sigma}-definability
Journal of Logic and Computation Advance Access published on August 30, 2008
J Logic Computation 2009 19: 159-174; doi:10.1093/logcom/exn033 [Abstract] [PDF] [References] [Request Permissions]  

Branislav Rovan and L'uboS Steskal
Infinite Computations and a Hierarchy in {Delta}3 Reconsidered
Journal of Logic and Computation Advance Access published on August 22, 2008
J Logic Computation 2009 19: 175-176; doi:10.1093/logcom/exn022 [Abstract] [PDF] [References] [Request Permissions]  

Victor L. Selivanov
Undecidability in Some Structures Related to Computation Theory
Journal of Logic and Computation Advance Access published on September 24, 2008
J Logic Computation 2009 19: 177-197; doi:10.1093/logcom/exn023 [Abstract] [PDF] [References] [Request Permissions]  

Alexandra A. Soskova and Ivan N. Soskov
A Jump Inversion Theorem for the Degree Spectra
Journal of Logic and Computation Advance Access published on September 12, 2008
J Logic Computation 2009 19: 199-215; doi:10.1093/logcom/exn024 [Abstract] [PDF] [References] [Request Permissions]  

Iain A. Stewart
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
Journal of Logic and Computation Advance Access published on July 24, 2008
J Logic Computation 2009 19: 217-242; doi:10.1093/logcom/exn025 [Abstract] [PDF] [References] [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.