Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/bsl/Abdulla10,
  author       = {Parosh Aziz Abdulla},
  title        = {Well (and better) quasi-ordered transition systems},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {4},
  pages        = {457--515},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1294171129},
  doi          = {10.2178/BSL/1294171129},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Abdulla10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Corazza10,
  author       = {Paul Corazza},
  title        = {The Axiom of Infinity and transformations j: {V} -{\textgreater} {V}},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {1},
  pages        = {37--84},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1264433797},
  doi          = {10.2178/BSL/1264433797},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Corazza10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/CoskeyK10,
  author       = {Samuel Coskey and
                  Roman Kossak},
  title        = {The complexity of classification problems for models of arithmetic},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {345--358},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286284557},
  doi          = {10.2178/BSL/1286284557},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/CoskeyK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Fujimoto10,
  author       = {Kentaro Fujimoto},
  title        = {Relative truth definability of axiomatic truth theories},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {305--344},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286284556},
  doi          = {10.2178/BSL/1286284556},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Fujimoto10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Klement10,
  author       = {Kevin C. Klement},
  title        = {The senses of functions in the Logic of Sense and Denotation},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {153--188},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286889123},
  doi          = {10.2178/BSL/1286889123},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Klement10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Koellner10,
  author       = {Peter Koellner},
  title        = {Strong logics of first and second order},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {1},
  pages        = {1--36},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1264433796},
  doi          = {10.2178/BSL/1264433796},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Koellner10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/McLarty10,
  author       = {Colin McLarty},
  title        = {What does it take to prove Fermat's Last Theorem? Grothendieck and
                  the logic of number theory},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {359--377},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286284558},
  doi          = {10.2178/BSL/1286284558},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/McLarty10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/MedvedevT10,
  author       = {Alice Medvedev and
                  Ramin Takloo{-}Bighash},
  title        = {An invitation to model-theoretic Galois theory},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {261--269},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286889126},
  doi          = {10.2178/BSL/1286889126},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/MedvedevT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Moschovakis10,
  author       = {Yiannis N. Moschovakis},
  title        = {Kleene's amazing Second Recursion Theorem},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {189--239},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286889124},
  doi          = {10.2178/BSL/1286889124},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Moschovakis10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Raghavan10,
  author       = {Dilip Raghavan},
  title        = {Almost disjoint families and diagonalizations of length continuum},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {240--260},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286889125},
  doi          = {10.2178/BSL/1286889125},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Raghavan10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Shore10,
  author       = {Richard A. Shore},
  title        = {Reverse mathematics: the playground of logic},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {378--402},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1286284559},
  doi          = {10.2178/BSL/1286284559},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Shore10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Urquhart10,
  author       = {Alasdair Urquhart},
  title        = {Von Neumann, G{\"{o}}del and complexity theory},
  journal      = {Bull. Symb. Log.},
  volume       = {16},
  number       = {4},
  pages        = {516--530},
  year         = {2010},
  url          = {https://doi.org/10.2178/bsl/1294171130},
  doi          = {10.2178/BSL/1294171130},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Urquhart10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.