Longchun Wang

According to our database, Longchun Wang authored at least 18 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

L-domains as locally continuous sequent calculi.

Longchun Wang, Qingguo Li

Arch. Math. Log., May, 2024

A direct approach to representing algebraic domains by formal contexts.

Xiangnan Zhou, Longchun Wang, Qingguo Li

Int. J. Approx. Reason., January, 2024

2023

The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces.

Longchun Wang, Qingguo Li

Stud Logica, April, 2023

2022

Information systems for continuous semi-lattices.

Longchun Wang, Xiangnan Zhou, Qingguo Li

Theor. Comput. Sci., 2022

Consistent disjunctive sequent calculi and Scott domains.

Longchun Wang, Qingguo Li

Math. Struct. Comput. Sci., 2022

Bounded complete domains and their logical form.

Longchun Wang, Qingguo Li

Inf. Comput., 2022

Recent advances in wireless epicortical and intracortical neuronal recording systems.

Bowen Ji, Zekai Liang, Xichen Yuan, Honglai Xu, Minghao Wang, Erwei Yin, Zhejun Guo, Longchun Wang, Yuhao Zhou, Huicheng Feng, Honglong Chang, Jingquan Liu

Sci. China Inf. Sci., 2022

A Set-Theoretic Representation of Algebraic L-domains.

Juan Zou, Yuhan Zhao, Cuixia Miao, Longchun Wang

Proceedings of the Theory and Applications of Models of Computation, 2022

2021

Fabrication and Characterization of Iridium Oxide pH Microelectrodes Based on Sputter Deposition Method.

Ye Xi, Zhejun Guo, Longchun Wang, Qingda Xu, Tao Ruan, Jingquan Liu

Sensors, 2021

Representations of stably continuous semi-lattices by information systems and abstract bases.

Longchun Wang, Qingguo Li

Inf. Process. Lett., 2021

Continuous Domains in Formal Concept Analysis.

Longchun Wang, Lankun Guo, Qingguo Li

Fundam. Informaticae, 2021

Continuous L-domains in logical form.

Longchun Wang, Qingguo Li, Xiangnan Zhou

Ann. Pure Appl. Log., 2021

Direct and All-dry Microfabrication of Ultramicroelectrode Based on Cold Atmospheric Microplasma Jet.

Ye Xi, Longchun Wang, Zhejun Guo, Bin Yang, Jingquan Liu

Proceedings of the 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2021

2020

A logic for Lawson compact algebraic L-domains.

Longchun Wang, Qingguo Li

Theor. Comput. Sci., 2020

A representation of proper BC domains based on conjunctive sequent calculi.

Longchun Wang, Qingguo Li

Math. Struct. Comput. Sci., 2020

Disjunctive Propositional Logic and Scott Domains.

Longchun Wang, Qingguo Li

Proceedings of the Theory and Applications of Models of Computation, 2020

2019

The Syntax of Disjunctive Propositional Logic and Algebraic L-domains.

Longchun Wang, Qingguo Li

CoRR, 2019

2018

Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces.

Longchun Wang, Qingguo Li

CoRR, 2018