Longchun Wang

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Sequent Calculi

Top Venues

Math. Struct. Comput. Sci.

Theor. Comput. Sci.

Publications

Juan Zou, Yuhan Zhao, Cuixia Miao, Longchun Wang
A set-theoretic approach to algebraic L-domains. Math. Struct. Comput. Sci. 34 (3) (2024)
Longchun Wang, Qingguo Li
L-domains as locally continuous sequent calculi. Arch. Math. Log. 63 (3-4) (2024)
Xiangnan Zhou, Longchun Wang, Qingguo Li
A direct approach to representing algebraic domains by formal contexts. Int. J. Approx. Reason. 164 (2024)
Longchun Wang, Qingguo Li
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces. Stud Logica 111 (2) (2023)
Juan Zou, Yuhan Zhao, Cuixia Miao, Longchun Wang
A Set-Theoretic Representation of Algebraic L-domains. TAMC (2022)
Longchun Wang, Qingguo Li
Consistent disjunctive sequent calculi and Scott domains. Math. Struct. Comput. Sci. 32 (2) (2022)
Bowen Ji, Zekai Liang, Xichen Yuan, Honglai Xu, Minghao Wang, Erwei Yin, Zhejun Guo, Longchun Wang, Yuhao Zhou, Huicheng Feng, Honglong Chang, Jingquan Liu
Recent advances in wireless epicortical and intracortical neuronal recording systems. Sci. China Inf. Sci. 65 (4) (2022)
Longchun Wang, Qingguo Li
Bounded complete domains and their logical form. Inf. Comput. 289 (Part) (2022)
Longchun Wang, Xiangnan Zhou, Qingguo Li
Information systems for continuous semi-lattices. Theor. Comput. Sci. 913 (2022)
Longchun Wang, Lankun Guo, Qingguo Li
Continuous Domains in Formal Concept Analysis. Fundam. Informaticae 179 (3) (2021)
Longchun Wang, Qingguo Li
Representations of stably continuous semi-lattices by information systems and abstract bases. Inf. Process. Lett. 165 (2021)
Ye Xi, Zhejun Guo, Longchun Wang, Qingda Xu, Tao Ruan, Jingquan Liu
Fabrication and Characterization of Iridium Oxide pH Microelectrodes Based on Sputter Deposition Method. Sensors 21 (15) (2021)
Longchun Wang, Qingguo Li, Xiangnan Zhou
Continuous L-domains in logical form. Ann. Pure Appl. Log. 172 (9) (2021)
Longchun Wang, Qingguo Li
Disjunctive Propositional Logic and Scott Domains. TAMC (2020)
Longchun Wang, Qingguo Li
A representation of proper BC domains based on conjunctive sequent calculi. Math. Struct. Comput. Sci. 30 (1) (2020)
Longchun Wang, Qingguo Li
A logic for Lawson compact algebraic L-domains. Theor. Comput. Sci. 813 (2020)
Longchun Wang, Lankun Guo, Qingguo Li
Continuous Domains in Formal Concept Analysis. CoRR (2019)
Longchun Wang, Qingguo Li
The Syntax of Disjunctive Propositional Logic and Algebraic L-domains. CoRR (2019)
Longchun Wang, Qingguo Li
Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces. CoRR (2018)