Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BezemC15,
  author       = {Marc Bezem and
                  Thierry Coquand},
  title        = {A Kripke model for simplicial sets},
  journal      = {Theor. Comput. Sci.},
  volume       = {574},
  pages        = {86--91},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.01.035},
  doi          = {10.1016/J.TCS.2015.01.035},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BezemC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EsikR15,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Panos Rondogiannis},
  title        = {A fixed point theorem for non-monotonic functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {574},
  pages        = {18--38},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.01.032},
  doi          = {10.1016/J.TCS.2015.01.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EsikR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MatsikoudisL15,
  author       = {Eleftherios Matsikoudis and
                  Edward A. Lee},
  title        = {The fixed-point theory of strictly causal functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {574},
  pages        = {39--77},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.01.036},
  doi          = {10.1016/J.TCS.2015.01.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MatsikoudisL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PrabhakarVVD15,
  author       = {Pavithra Prabhakar and
                  Vladimeros Vladimerou and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {A decidable class of planar linear hybrid systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {574},
  pages        = {1--17},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2014.11.018},
  doi          = {10.1016/J.TCS.2014.11.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PrabhakarVVD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZhangX15,
  author       = {Wenfeng Zhang and
                  Xiaoquan Xu},
  title        = {S2-Quasicontinuous posets},
  journal      = {Theor. Comput. Sci.},
  volume       = {574},
  pages        = {78--85},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.01.037},
  doi          = {10.1016/J.TCS.2015.01.037},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}