BibTeX record journals/corr/abs-2211-15922

• > Home > journals/corr/abs-2211-15922

@inproceedings{DBLP:journals/corr/abs-2211-15922,
  author       = {Huarong Zhang and
                  Dongsheng Zhao},
  editor       = {Weng Kin Ho and
                  Dongsheng Zhao and
                  Achim Jung and
                  Guo{-}Qiang Zhang and
                  Guo{-}Qiang Zhang},
  title        = {The sheaf representation of residuated lattices},
  booktitle    = {Proceedings of the 9th International Symposium on Domain Theory and
                  Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
  series       = {Electronic Notes in Theoretical Informatics and Computer Science},
  volume       = {2},
  publisher    = {EpiSciences},
  year         = {2022},
  url          = {https://doi.org/10.46298/entics.10399},
  doi          = {10.46298/ENTICS.10399},
  timestamp    = {Tue, 20 Aug 2024 07:54:45 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-15922.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}