Bounded complete domains and their logical form

Longchun Wang, Qingguo Li. Bounded complete domains and their logical form. Inf. Comput., 289(Part):104958, 2022. [doi]

@article{WangL22-112,
  title = {Bounded complete domains and their logical form},
  author = {Longchun Wang and Qingguo Li},
  year = {2022},
  doi = {10.1016/j.ic.2022.104958},
  url = {https://doi.org/10.1016/j.ic.2022.104958},
  researchr = {https://researchr.org/publication/WangL22-112},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {289},
  number = {Part},
  pages = {104958},
}