Disjunctive Propositional Logic and Scott Domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Longchun Wang' in GoogleThis author has not been identified. Look up 'Qingguo Li' in Google

runs on WebDSL