Search dblp for Publications

export results for "toc:db/journals/computability/computability2.bht:"

 download as .bib file

@article{DBLP:journals/computability/CarsonJKLMW13,
  author       = {Jacob Carson and
                  Jesse Johnson and
                  Julia F. Knight and
                  Karen M. Lange and
                  Charles F. D. McCoy and
                  John Wallbaum},
  title        = {The Arithmetical Hierarchy in the Setting of {\(\omega\)}\({}_{\mbox{1}}\)},
  journal      = {Comput.},
  volume       = {2},
  number       = {2},
  pages        = {93--105},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13022},
  doi          = {10.3233/COM-13022},
  timestamp    = {Mon, 29 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/CarsonJKLMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/DiamondstoneGT13,
  author       = {David Diamondstone and
                  Noam Greenberg and
                  Daniel Turetsky},
  title        = {Natural Large Degree Spectra},
  journal      = {Comput.},
  volume       = {2},
  number       = {1},
  pages        = {1--8},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13008},
  doi          = {10.3233/COM-13008},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/DiamondstoneGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/Diener13,
  author       = {Hannes Diener},
  title        = {Weak K{\"{o}}nig's Lemma Implies the Uniform Continuity Theorem},
  journal      = {Comput.},
  volume       = {2},
  number       = {1},
  pages        = {9--13},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13009},
  doi          = {10.3233/COM-13009},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/Diener13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/DoraisHS13,
  author       = {Fran{\c{c}}ois G. Dorais and
                  Jeffry L. Hirst and
                  Paul Shafer},
  title        = {Reverse Mathematics and Algebraic Field Extensions},
  journal      = {Comput.},
  volume       = {2},
  number       = {2},
  pages        = {75--92},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13021},
  doi          = {10.3233/COM-13021},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/DoraisHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/EhrigEHNR13,
  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      = {Comput.},
  volume       = {2},
  number       = {1},
  pages        = {31--49},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13016},
  doi          = {10.3233/COM-13016},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/computability/EhrigEHNR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/MillerS13,
  author       = {Russell G. Miller and
                  Hans Schoutens},
  title        = {Computably Categorical Fields via Fermat's Last Theorem},
  journal      = {Comput.},
  volume       = {2},
  number       = {1},
  pages        = {51--65},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13017},
  doi          = {10.3233/COM-13017},
  timestamp    = {Wed, 16 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/computability/MillerS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/Miyabe13,
  author       = {Kenshi Miyabe},
  title        = {L\({}^{\mbox{1}}\)-Computability, Layerwise Computability and Solovay
                  Reducibility},
  journal      = {Comput.},
  volume       = {2},
  number       = {1},
  pages        = {15--29},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13015},
  doi          = {10.3233/COM-13015},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/Miyabe13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/SekiO13,
  author       = {Shinnosuke Seki and
                  Yasushi Okuno},
  title        = {On the Behavior of Tile Assembly System at High Temperatures},
  journal      = {Comput.},
  volume       = {2},
  number       = {2},
  pages        = {107--124},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13020},
  doi          = {10.3233/COM-13020},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/SekiO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/Skordev13,
  author       = {Dimiter Skordev},
  title        = {On Some Computability Notions for Real Functions},
  journal      = {Comput.},
  volume       = {2},
  number       = {1},
  pages        = {67--73},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13018},
  doi          = {10.3233/COM-13018},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/Skordev13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/Soler-ToscanoZDG13,
  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      = {Comput.},
  volume       = {2},
  number       = {2},
  pages        = {125--140},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13019},
  doi          = {10.3233/COM-13019},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/computability/Soler-ToscanoZDG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.