@Preamble{
"\ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi" #
"\ifx \undefined \mathbb \def \mathbb #1{{\bf #1}}\fi" #
"\ifx \undefined \mathcal \def \mathcal #1{{\cal #1}}\fi" #
"\ifx \undefined \mathfrak \let \mathfrak = \mathcal \fi"
}
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
@String{j-COMPUTABILITY = "Computability"}
@Article{Brattka:2012:E,
author = "Vasco Brattka and Paola Bonizzoni and S. Barry Cooper
and Benedikt L{\"o}we and Elvira Mayordomo",
title = "Editorial",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "1--2",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-007",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hoyrup:2012:CRN,
author = "Mathieu Hoyrup and Crist{\'o}bal Rojas and Klaus
Weihrauch",
title = "Computability of the {Radon--Nikodym} Derivative",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "3--13",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-005",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Coskey:2012:HER,
author = "Samuel Coskey and Joel David Hamkins and Russell
Miller",
title = "The Hierarchy of Equivalence Relations on the Natural
Numbers Under Computable Reducibility",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "15--38",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-004",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hitchcock:2012:LER,
author = "John M. Hitchcock",
title = "Limitations of Efficient Reducibility to the
{Kolmogorov} Random Strings",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "39--43",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-006",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Schlicht:2012:TRO,
author = "Philipp Schlicht and Benjamin Seyfferth",
title = "Tree Representations via Ordinal Machines",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "45--57",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-002",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Abbott:2012:NNQ,
author = "Alastair A. Abbott and Cristian S. Calude",
title = "{Von Neumann} Normalisation of a Quantum Random Number
Generator",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "59--83",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-001",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib;
http://www.math.utah.edu/pub/tex/bib/prng.bib",
URL = "http://iospress.metapress.com/content/82271271358877v0",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Hirschfeldt:2012:FSI,
author = "Denis R. Hirschfeldt and Rebecca Weber",
title = "Finite Self-Information",
journal = j-COMPUTABILITY,
volume = "1",
number = "1",
pages = "85--98",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-2012-003",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:25:18 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Cholak:2012:CEP,
author = "Peter A. Cholak and Damir D. Dzhafarov and Noah
Schweber and Richard A. Shore",
title = "Computably Enumerable Partial Orders",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "99--107",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12013",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Morphett:2012:IAR,
author = "Anthony Morphett",
title = "Incompleteness, Approximation and Relative
Randomness",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "109--130",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12014",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Kihara:2012:ISC,
author = "Takayuki Kihara",
title = "Incomputability of Simply Connected Planar Continua",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "131--152",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12012",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Merkle:2012:CCR,
author = "Wolfgang Merkle and Jason Teutsch",
title = "Constant Compression and Random Weights",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "153--169",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12011",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Kreuzer:2012:SWC,
author = "Alexander P. Kreuzer",
title = "On the Strength of Weak Compactness",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "171--179",
month = "????",
year = "2012",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-12010",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2012:AIV,
author = "Anonymous",
title = "Author Index Volume 1 (2012)",
journal = j-COMPUTABILITY,
volume = "1",
number = "2",
pages = "181--181",
month = "????",
year = "2012",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:27 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Diamondstone:2013:NLD,
author = "David Diamondstone and Noam Greenberg and Daniel
Turetsky",
title = "Natural Large Degree Spectra",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "1--8",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13008",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Diener:2013:WKL,
author = "Hannes Diener",
title = "Weak {K{\"o}nig's Lemma} Implies the {Uniform
Continuity Theorem}",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "9--13",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13009",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Miyabe:2013:CLC,
author = "Kenshi Miyabe",
title = "{$ L^1 $}-Computability, Layerwise Computability and
{Solovay} Reducibility",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "15--29",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13015",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ehrig:2013:CDR,
author = "Hartmut Ehrig and Claudia Ermel and Falk H{\"u}ffner
and Rolf Niedermeier and Olga Runge",
title = "Confluence in Data Reduction: Bridging Graph
Transformation and Kernelization",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "31--49",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13016",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Miller:2013:CCF,
author = "Russell Miller and Hans Schoutens",
title = "Computably Categorical Fields via {Fermat}'s {Last
Theorem}",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "51--65",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13017",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Skordev:2013:SCN,
author = "Dimiter Skordev",
title = "On Some Computability Notions for Real Functions",
journal = j-COMPUTABILITY,
volume = "2",
number = "1",
pages = "67--73",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13018",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:28 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Dorais:2013:RMA,
author = "Fran{\c{c}}ois G. Dorais and Jeffry Hirst and Paul
Shafer",
title = "Reverse Mathematics and Algebraic Field Extensions",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "75--92",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13021",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Carson:2013:AHS,
author = "Jacob Carson and Jesse Johnson and Julia Knight and
Karen Lange and Charles McCoy and John Wallbaum",
title = "The Arithmetical Hierarchy in the Setting of $
\omega_1 $",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "93--105",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13022",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Seki:2013:BTA,
author = "Shinnosuke Seki and Yasushi Okuno",
title = "On the Behavior of Tile Assembly System at High
Temperatures",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "107--124",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13020",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
keywords = "Tile Assembly System (TAS)",
}
@Article{Soler-Toscano:2013:CIN,
author = "Fernando Soler-Toscano and Hector Zenil and Jean-Paul
Delahaye and Nicolas Gauvrit",
title = "Correspondence and Independence of Numerical
Evaluations of Algorithmic Information Measures",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "125--140",
month = "????",
year = "2013",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-13019",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2013:AIV,
author = "Anonymous",
title = "Author Index Volume 2 (2013)",
journal = j-COMPUTABILITY,
volume = "2",
number = "2",
pages = "141--142",
month = "????",
year = "2013",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:29 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ng:2014:CRS,
author = "Keng Meng Ng and Andr{\'e} Nies and Frank Stephan",
title = "The Complexity of Recursive Splittings of Random
Sets",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "1--8",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14023",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Tucker:2014:COC,
author = "J. V. Tucker and J. I. Zucker",
title = "Computability of Operators on Continuous and Discrete
Time Streams",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "9--44",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14024",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Freer:2014:AAL,
author = "Cameron Freer and Bj{\o} rn Kjos-Hanssen and Andr{\'e}
Nies and Frank Stephan",
title = "Algorithmic Aspects of {Lipschitz} Functions",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "45--61",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14025",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Nikolova:2014:STI,
author = "Stela Nikolova",
title = "Shared thoughts on {Ivan--Soskov (1954--2013)}",
journal = j-COMPUTABILITY,
volume = "3",
number = "1",
pages = "63--72",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-14026",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Sep 1 15:38:30 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
fjournal = "Computability",
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Franklin:2014:DLI,
author = "Johanna N. Y. Franklin and Reed Solomon",
title = "Degrees that Are Low for Isomorphism",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "73--89",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140027",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Harkins:2014:SRI,
author = "Ryan C. Harkins and John M. Hitchcock and A. Pavan",
title = "Strong Reductions and Isomorphism of Complete Sets",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "91--104",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140028",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Calvert:2014:TDI,
author = "Wesley Calvert and Valentina Harizanov and Alexandra
Shlapentokh",
title = "{Turing} Degrees of Isomorphism Types of Geometric
Objects",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "105--134",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140029",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Bazgan:2014:PIT,
author = "Cristina Bazgan and Morgan Chopin and Andr{\'e}
Nichterlein and Florian Sikora",
title = "Parameterized Inapproximability of Target Set
Selection and Generalizations",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "135--145",
month = "????",
year = "2014",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-140030",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2014:AIV,
author = "Anonymous",
title = "Author Index Volume 3 (2014)",
journal = j-COMPUTABILITY,
volume = "3",
number = "2",
pages = "147--147",
month = "????",
year = "2014",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Fri Feb 13 07:30:12 MST 2015",
bibsource = "http://www.iospress.nl/;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Schroder:2015:HHQ,
author = "Matthias Schr{\"o}der and Victor Selivanov",
title = "Hyperprojective hierarchy of qcb$_0$-spaces",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "1--17",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150031",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ben-Amram:2015:MIP,
author = "Amir M. Ben-Amram",
title = "Mortality of iterated piecewise affine functions over
the integers: Decidability and complexity",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "19--56",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150032",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Towsner:2015:MCE,
author = "Henry Towsner",
title = "On maximum conservative extensions",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "57--68",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150033",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Patey:2015:CSP,
author = "Ludovic Patey",
title = "The complexity of satisfaction problems in reverse
mathematics",
journal = j-COMPUTABILITY,
volume = "4",
number = "1",
pages = "69--84",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150034",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:14 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Lutz:2015:LME,
author = "Jack H. Lutz and Neil Lutz",
title = "Lines missing every random point",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "85--102",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150038",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Gura:2015:ECC,
author = "Kirill Gura and Jeffry L. Hirst and Carl Mummert",
title = "On the existence of a connected component of a graph",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "103--117",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150039",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Harris:2015:LMM,
author = "Charles M. Harris",
title = "On limitwise monotonicity and maximal block
functions",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "119--139",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150037",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Astor:2015:ADI,
author = "Eric P. Astor",
title = "Asymptotic density, immunity and randomness",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "141--158",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150040",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib;
http://www.math.utah.edu/pub/tex/bib/prng.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Speranski:2015:SNR,
author = "Stanislav O. Speranski",
title = "Some new results in monadic second-order arithmetic",
journal = j-COMPUTABILITY,
volume = "4",
number = "2",
pages = "159--174",
month = "????",
year = "2015",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150036",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Brattka:2016:E,
author = "Vasco Brattka and Paola Bonizzoni and Olivier Bournez
and Elvira Mayordomo",
title = "Editorial",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "1--1",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160051",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Lowe:2016:BCE,
author = "Benedikt L{\"o}we",
title = "{Barry Cooper} (1943--2015): The engine of {{\em
Computability}} in {Europe}",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "3--11",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160052",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/bibnet/authors/t/turing-alan-mathison.bib;
http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
keywords = "Alan M. Turing; S. Barry Cooper; The Imitation Game",
subject-dates = "Stuart Barry Cooper (9 October 1943--26 October
2015)",
}
@Article{Hirschfeldt:2016:ADC,
author = "Denis R. Hirschfeldt and Carl G. {Jockusch Jr.} and
Timothy H. McNicholl and Paul E. Schupp",
title = "Asymptotic density and the coarse computability
bound",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "13--27",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150035",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Basu:2016:MPI,
author = "Sankha S. Basu and Stephen G. Simpson",
title = "Mass problems and intuitionistic higher-order logic",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "29--47",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150041",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Muchnik:2016:SWR,
author = "Albert A. Muchnik",
title = "Strong and weak reducibility of algorithmic
problems1",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "49--59",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150042",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Normann:2016:CBR,
author = "Dag Normann",
title = "On the {Cantor--Bendixson} rank of a set that is
searchable in {G{\"o}del}'s {$T$}",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "61--74",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150043",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{deBrecht:2016:BCC,
author = "Matthew de Brecht and Matthias Schr{\"o}der and Victor
Selivanov",
title = "Base-complexity classifications of qcb$_0$-spaces1",
journal = j-COMPUTABILITY,
volume = "5",
number = "1",
pages = "75--102",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150044",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Herbert:2016:LIV,
author = "Ian Herbert",
title = "Lowness for integer-valued randomness",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "103--109",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150045",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib;
http://www.math.utah.edu/pub/tex/bib/prng.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Cai:2016:KP,
author = "Mingzhong Cai and Steffen Lempp and Joseph S. Miller
and Mariya I. Soskova",
title = "On {Kalimullin} pairs",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "111--126",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150046",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Faber:2016:EOT,
author = "Eric Faber and Jaap van Oosten",
title = "Effective operations of type 2 in {PCAs}",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "127--146",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150048",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Holzl:2016:MPT,
author = "Rupert H{\"o}lzl and Frank Stephan and Liang Yu",
title = "On {Martin}'s pointed tree theorem",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "147--157",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150047",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Pauly:2016:TAT,
author = "Arno Pauly",
title = "On the topological aspects of the theory of
represented spaces",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "159--180",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150049",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Carl:2016:RDT,
author = "Merlin Carl",
title = "Randomness and degree theory for infinite time
register machines",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "181--196",
month = "????",
year = "2016",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160055",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2016:AIV,
author = "Anonymous",
title = "Author Index Volume 5 (2016)",
journal = j-COMPUTABILITY,
volume = "5",
number = "2",
pages = "197--197",
month = "????",
year = "2016",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:34:15 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Dzhafarov:2017:NRI,
author = "Damir D. Dzhafarov and Gregory Igusa",
title = "Notions of robust information coding",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "105--124",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160059",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Huschenbett:2017:POA,
author = "Martin Huschenbett and Alexander Kartzow and Philipp
Schlicht",
title = "Pumping for ordinal-automatic structures $^1$",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "125--164",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160057",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Ibarra:2017:LCC,
author = "Oscar H. Ibarra and Cewei Cui and Zhe Dang and Thomas
R. Fischer",
title = "Lossiness of communication channels modeled by
transducers",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "165--181",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-150050",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Gonen:2017:CIC,
author = "Rica Gonen and Anat Lerner",
title = "Characterizing incentive compatible, {Pareto} optimal
and sufficiently anonymous constrained combinatorial
mechanisms --- Two players case",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "183--208",
month = "????",
year = "2017",
CODEN = "????",
DOI = "https://doi.org/10.3233/COM-160064",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
@Article{Anonymous:2017:AIV,
author = "Anonymous",
title = "Author Index Volume 6 (2017)",
journal = j-COMPUTABILITY,
volume = "6",
number = "2",
pages = "209--209",
month = "????",
year = "2017",
CODEN = "????",
ISSN = "2211-3568 (print), 2211-3576 (electronic)",
ISSN-L = "2211-3568",
bibdate = "Mon Apr 17 14:33:20 MDT 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computability.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://iospress.metapress.com/content/122520/",
}
