Sign in
Chia-Hsuan Lu
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Logic Programs
Computational Properties
Guarded Fragment
Lightweight
Top Venues
CoRR
LICS
</>
Publications
</>
Chia-Hsuan Lu
,
Tony Tan
On two-variable guarded fragment logic with expressive local Presburger constraints.
CoRR
(2022)
Ting-Wei Lin
,
Chia-Hsuan Lu
,
Tony Tan
Towards a more efficient approach for the satisfiability of two-variable logic.
LICS
(2021)
Ting-Wei Lin
,
Chia-Hsuan Lu
,
Tony Tan
Towards a more efficient approach for the satisfiability of two-variable logic.
CoRR
(2021)