Search dblp for Publications

export results for "toc:db/journals/bsl/bsl19.bht:"

 download as .bib file

@article{DBLP:journals/bsl/ArrigoniF13,
  author       = {Tatiana Arrigoni and
                  Sy{-}David Friedman},
  title        = {The hyperuniverse program},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {77--96},
  year         = {2013},
  url          = {https://doi.org/10.2178/bsl.1901030},
  doi          = {10.2178/BSL.1901030},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/ArrigoniF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Barmpalias13,
  author       = {George Barmpalias},
  title        = {Algorithmic randomness and measures of complexity},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {318--350},
  year         = {2013},
  url          = {https://doi.org/10.1017/S1079898600010672},
  doi          = {10.1017/S1079898600010672},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Barmpalias13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/BurrisS13,
  author       = {Stanley N. Burris and
                  Hanamantagouda P. Sankappanavar},
  title        = {The Horn theory of Boole's partial algebras},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {97--105},
  year         = {2013},
  url          = {https://doi.org/10.2178/bsl.1901040},
  doi          = {10.2178/BSL.1901040},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/BurrisS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Eleftheriou13,
  author       = {Pantelis E. Eleftheriou},
  title        = {Non-standard lattices and o-minimal groups},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {56--76},
  year         = {2013},
  url          = {https://doi.org/10.2178/bsl.1901020},
  doi          = {10.2178/BSL.1901020},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bsl/Eleftheriou13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/FerreiraF13,
  author       = {Fernando Ferreira and
                  Gilda Ferreira},
  title        = {Interpretability in Robinson's {Q}},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {289--317},
  year         = {2013},
  url          = {https://doi.org/10.1017/S1079898600010660},
  doi          = {10.1017/S1079898600010660},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/FerreiraF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Kennedy13,
  author       = {Juliette Kennedy},
  title        = {On formalism freeness: Implementing G{\"{o}}del's 1946 Princeton
                  bicentennial lecture},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {351--393},
  year         = {2013},
  url          = {https://doi.org/10.1017/S1079898600010684},
  doi          = {10.1017/S1079898600010684},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Kennedy13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Khan13,
  author       = {Mushfeq Khan},
  title        = {Shift-complex sequences},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {2},
  pages        = {199--215},
  year         = {2013},
  url          = {https://doi.org/10.2178/bsl.1902020},
  doi          = {10.2178/BSL.1902020},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Khan13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Sargsyan13,
  author       = {Grigor Sargsyan},
  title        = {Descriptive inner model theory},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {1--55},
  year         = {2013},
  url          = {https://doi.org/10.2178/bsl.1901010},
  doi          = {10.2178/BSL.1901010},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Sargsyan13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/SchiemerR13,
  author       = {Georg Schiemer and
                  Erich H. Reck},
  title        = {Logic in the 1930s: type theory and model theory},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {4},
  pages        = {433--472},
  year         = {2013},
  url          = {https://doi.org/10.1017/S1079898600010568},
  doi          = {10.1017/S1079898600010568},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/SchiemerR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Sher13,
  author       = {Gila Sher},
  title        = {The foundational problem of logic},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {2},
  pages        = {145--198},
  year         = {2013},
  url          = {https://doi.org/10.2178/bsl.1902010},
  doi          = {10.2178/BSL.1902010},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Sher13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Zapletal13,
  author       = {Jindrich Zapletal},
  title        = {Analytic equivalence relations and the forcing method},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {4},
  pages        = {473--490},
  year         = {2013},
  url          = {https://doi.org/10.1017/S107989860001057X},
  doi          = {10.1017/S107989860001057X},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Zapletal13.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.