BibTeX record journals/jucs/Schwichtenberg05

download as .bib file

@article{DBLP:journals/jucs/Schwichtenberg05,
  author       = {Helmut Schwichtenberg},
  title        = {A Direct Proof of the Equivalence between Brouwer's Fan Theorem and
                  K{\"{o}}nig's Lemma with a Uniqueness Hypothesis},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {11},
  number       = {12},
  pages        = {2086--2095},
  year         = {2005},
  url          = {https://doi.org/10.3217/jucs-011-12-2086},
  doi          = {10.3217/JUCS-011-12-2086},
  timestamp    = {Thu, 07 Sep 2023 16:42:06 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/Schwichtenberg05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}