BibTeX record conf/tamc/ZouZMW22

• > Home > conf/tamc/ZouZMW22

@inproceedings{DBLP:conf/tamc/ZouZMW22,
  author       = {Juan Zou and
                  Yuhan Zhao and
                  Cuixia Miao and
                  Longchun Wang},
  editor       = {Ding{-}Zhu Du and
                  Donglei Du and
                  Chenchen Wu and
                  Dachuan Xu},
  title        = {A Set-Theoretic Representation of Algebraic L-domains},
  booktitle    = {Theory and Applications of Models of Computation - 17th Annual Conference,
                  {TAMC} 2022, Tianjin, China, September 16-18, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13571},
  pages        = {370--381},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20350-3\_30},
  doi          = {10.1007/978-3-031-20350-3\_30},
  timestamp    = {Mon, 09 Jan 2023 17:58:31 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/ZouZMW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}