Longchun Wang, Qingguo Li. Disjunctive Propositional Logic and Scott Domains. In Jianer Chen, Qilong Feng, Jinhui Xu 0001, editors, Theory and Applications of Models of Computation, 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings. Volume 12337 of Lecture Notes in Computer Science, pages 327-339, Springer, 2020. [doi]
@inproceedings{WangL20-91,
title = {Disjunctive Propositional Logic and Scott Domains},
author = {Longchun Wang and Qingguo Li},
year = {2020},
doi = {10.1007/978-3-030-59267-7_28},
url = {https://doi.org/10.1007/978-3-030-59267-7_28},
researchr = {https://researchr.org/publication/WangL20-91},
cites = {0},
citedby = {0},
pages = {327-339},
booktitle = {Theory and Applications of Models of Computation, 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings},
editor = {Jianer Chen and Qilong Feng and Jinhui Xu 0001},
volume = {12337},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-59267-7},
}