BibTeX record journals/entcs/XuZ19

download as .bib file

@inproceedings{DBLP:journals/entcs/XuZ19,
  author    = {Luoshan Xu and
               Dongsheng Zhao},
  editor    = {Achim Jung and
               Qingguo Li and
               Luoshan Xu and
               Guo{-}Qiang Zhang},
  title     = {\emph{C}\({}_{\mbox{\emph{{\(\sigma\)}}}}\)-unique Dcpos and Non-maximality
               of the Class of Dominated Dcpos Regarding {\(\Gamma\)}-faithfulness},
  booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
               Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {345},
  pages     = {249--260},
  publisher = {Elsevier},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.entcs.2019.07.027},
  doi       = {10.1016/j.entcs.2019.07.027},
  timestamp = {Wed, 05 Feb 2020 13:24:08 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/XuZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics