Longchun Wang

Orcid: 0000-0002-2382-936X

According to our database1, Longchun Wang authored at least 19 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
L-domains as locally continuous sequent calculi.
Arch. Math. Log., May, 2024

A direct approach to representing algebraic domains by formal contexts.
Int. J. Approx. Reason., January, 2024

A set-theoretic approach to algebraic L-domains.
Math. Struct. Comput. Sci., 2024

2023
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces.
Stud Logica, April, 2023

2022
Information systems for continuous semi-lattices.
Theor. Comput. Sci., 2022

Consistent disjunctive sequent calculi and Scott domains.
Math. Struct. Comput. Sci., 2022

Bounded complete domains and their logical form.
Inf. Comput., 2022

Recent advances in wireless epicortical and intracortical neuronal recording systems.
Sci. China Inf. Sci., 2022

A Set-Theoretic Representation of Algebraic L-domains.
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.
Sensors, 2021

Representations of stably continuous semi-lattices by information systems and abstract bases.
Inf. Process. Lett., 2021

Continuous Domains in Formal Concept Analysis.
Fundam. Informaticae, 2021

Continuous L-domains in logical form.
Ann. Pure Appl. Log., 2021

Direct and All-dry Microfabrication of Ultramicroelectrode Based on Cold Atmospheric Microplasma Jet.
Proceedings of the 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2021

2020
A logic for Lawson compact algebraic L-domains.
Theor. Comput. Sci., 2020

A representation of proper BC domains based on conjunctive sequent calculi.
Math. Struct. Comput. Sci., 2020

Disjunctive Propositional Logic and Scott Domains.
Proceedings of the Theory and Applications of Models of Computation, 2020

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

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


  Loading...