BibTeX records: Tanja Grubba

download as .bib file

@article{DBLP:journals/jucs/WeihrauchG09,
  author       = {Klaus Weihrauch and
                  Tanja Grubba},
  title        = {Elementary Computable Topology},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {15},
  number       = {6},
  pages        = {1381--1422},
  year         = {2009},
  url          = {https://doi.org/10.3217/jucs-015-06-1381},
  doi          = {10.3217/JUCS-015-06-1381},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/WeihrauchG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/XuG09,
  author       = {Yatao Xu and
                  Tanja Grubba},
  title        = {On computably locally compact Hausdorff spaces},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {19},
  number       = {1},
  pages        = {101--117},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0960129508007366},
  doi          = {10.1017/S0960129508007366},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/XuG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrattkaDGK08,
  author       = {Vasco Brattka and
                  Ruth Dillhage and
                  Tanja Grubba and
                  Angela Klutsch},
  editor       = {Vasco Brattka and
                  Ruth Dillhage and
                  Tanja Grubba and
                  Angela Klutsch},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth International Conference on Computability
                  and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {221},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.001},
  doi          = {10.1016/J.ENTCS.2008.12.001},
  timestamp    = {Fri, 17 Feb 2023 10:51:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrattkaDGK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cca/2007,
  editor       = {Ruth Dillhage and
                  Tanja Grubba and
                  Andrea Sorbi and
                  Klaus Weihrauch and
                  Ning Zhong},
  title        = {Proceedings of the Fourth International Conference on Computability
                  and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {202},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/202/suppl/C},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cca/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cca/2008,
  editor       = {Vasco Brattka and
                  Ruth Dillhage and
                  Tanja Grubba and
                  Angela Klutsch},
  title        = {Proceedings of the Fifth International Conference on Computability
                  and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {221},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/221/suppl/C},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cca/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/GrubbaSW07,
  author       = {Tanja Grubba and
                  Matthias Schr{\"{o}}der and
                  Klaus Weihrauch},
  title        = {Computable metrization},
  journal      = {Math. Log. Q.},
  volume       = {53},
  number       = {4-5},
  pages        = {381--395},
  year         = {2007},
  url          = {https://doi.org/10.1002/malq.200710009},
  doi          = {10.1002/MALQ.200710009},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/GrubbaSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tamc/XuG07,
  author       = {Yatao Xu and
                  Tanja Grubba},
  editor       = {Jin{-}yi Cai and
                  S. Barry Cooper and
                  Hong Zhu},
  title        = {Computability on Subsets of Locally Compact Spaces},
  booktitle    = {Theory and Applications of Models of Computation, 4th International
                  Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4484},
  pages        = {100--114},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72504-6\_9},
  doi          = {10.1007/978-3-540-72504-6\_9},
  timestamp    = {Mon, 04 May 2020 13:17:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/XuG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DillhageGSWZ08,
  author       = {Ruth Dillhage and
                  Tanja Grubba and
                  Andrea Sorbi and
                  Klaus Weihrauch and
                  Ning Zhong},
  editor       = {Ruth Dillhage and
                  Tanja Grubba and
                  Andrea Sorbi and
                  Klaus Weihrauch and
                  Ning Zhong},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth International Conference on Computability
                  and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {202},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.001},
  doi          = {10.1016/J.ENTCS.2008.03.001},
  timestamp    = {Thu, 09 Feb 2023 12:23:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DillhageGSWZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrubbaWX08,
  author       = {Tanja Grubba and
                  Klaus Weihrauch and
                  Yatao Xu},
  editor       = {Ruth Dillhage and
                  Tanja Grubba and
                  Andrea Sorbi and
                  Klaus Weihrauch and
                  Ning Zhong},
  title        = {Effectivity on Continuous Functions in Topological Spaces},
  booktitle    = {Proceedings of the Fourth International Conference on Computability
                  and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {202},
  pages        = {237--254},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.018},
  doi          = {10.1016/J.ENTCS.2008.03.018},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrubbaWX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cca/2006,
  editor       = {Douglas Cenzer and
                  Ruth Dillhage and
                  Tanja Grubba and
                  Klaus Weihrauch},
  title        = {Proceedings of the Third International Conference on Computability
                  and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
                  of Florida, Gainesville, {USA}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {167},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/167/suppl/C},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cca/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CenzerDGW07,
  author       = {Douglas Cenzer and
                  Ruth Dillhage and
                  Tanja Grubba and
                  Klaus Weihrauch},
  editor       = {Douglas Cenzer and
                  Ruth Dillhage and
                  Tanja Grubba and
                  Klaus Weihrauch},
  title        = {Preface},
  booktitle    = {Proceedings of the Third International Conference on Computability
                  and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
                  of Florida, Gainesville, {USA}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {167},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.12.001},
  doi          = {10.1016/J.ENTCS.2006.12.001},
  timestamp    = {Tue, 24 Jan 2023 11:08:06 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CenzerDGW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrubbaW07,
  author       = {Tanja Grubba and
                  Klaus Weihrauch},
  editor       = {Douglas Cenzer and
                  Ruth Dillhage and
                  Tanja Grubba and
                  Klaus Weihrauch},
  title        = {On Computable Metrization},
  booktitle    = {Proceedings of the Third International Conference on Computability
                  and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
                  of Florida, Gainesville, {USA}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {167},
  pages        = {345--364},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.08.020},
  doi          = {10.1016/J.ENTCS.2006.08.020},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrubbaW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cca/GrubbaW05,
  author       = {Tanja Grubba and
                  Klaus Weihrauch},
  editor       = {Tanja Grubba and
                  Peter Hertling and
                  Hideki Tsuiki and
                  Klaus Weihrauch},
  title        = {A Computable Version of Dini's Theorem for Topological Spaces},
  booktitle    = {{CCA} 2005 - Second International Conference on Computability and
                  Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
  series       = {Informatik Berichte},
  volume       = {326-7/2005},
  pages        = {117--129},
  publisher    = {FernUniversit{\"{a}}t Hagen, Germany},
  year         = {2005},
  timestamp    = {Tue, 06 Sep 2005 12:41:08 +0200},
  biburl       = {https://dblp.org/rec/conf/cca/GrubbaW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iscis/GrubbaW05,
  author       = {Tanja Grubba and
                  Klaus Weihrauch},
  editor       = {Pinar Yolum and
                  Tunga G{\"{u}}ng{\"{o}}r and
                  Fikret S. G{\"{u}}rgen and
                  Can C. {\"{O}}zturan},
  title        = {A Computable Version of Dini's Theorem for Topological Spaces},
  booktitle    = {Computer and Information Sciences - {ISCIS} 2005, 20th International
                  Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3733},
  pages        = {927--936},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11569596\_94},
  doi          = {10.1007/11569596\_94},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iscis/GrubbaW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cca/2005,
  editor       = {Tanja Grubba and
                  Peter Hertling and
                  Hideki Tsuiki and
                  Klaus Weihrauch},
  title        = {{CCA} 2005 - Second International Conference on Computability and
                  Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
  series       = {Informatik Berichte},
  volume       = {326-7/2005},
  publisher    = {FernUniversit{\"{a}}t Hagen, Germany},
  year         = {2005},
  timestamp    = {Tue, 06 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cca/2005.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.