Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BilokonE17,
  author       = {Paul Bilokon and
                  Abbas Edalat},
  title        = {A domain-theoretic approach to Brownian motion and general continuous
                  stochastic processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {691},
  pages        = {10--26},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.016},
  doi          = {10.1016/J.TCS.2017.07.016},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BilokonE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rabe17,
  author       = {Florian Rabe},
  title        = {Morphism axioms},
  journal      = {Theor. Comput. Sci.},
  volume       = {691},
  pages        = {55--80},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.006},
  doi          = {10.1016/J.TCS.2017.07.006},
  timestamp    = {Fri, 20 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rabe17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VasileAB17,
  author       = {Cristian Ioan Vasile and
                  Derya Aksaray and
                  Calin Belta},
  title        = {Time window temporal logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {691},
  pages        = {27--54},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.012},
  doi          = {10.1016/J.TCS.2017.07.012},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/VasileAB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Xu17,
  author       = {Kevin H. Xu},
  title        = {A class of bounded functions, a database language and an extended
                  lambda calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {691},
  pages        = {81--106},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.002},
  doi          = {10.1016/J.TCS.2017.07.002},
  timestamp    = {Tue, 29 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Xu17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZhangL17,
  author       = {Zhongxi Zhang and
                  Qingguo Li},
  title        = {On cartesian closed extensions of non-pointed domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {691},
  pages        = {1--9},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.07.017},
  doi          = {10.1016/J.TCS.2017.07.017},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}