Jui-Hsuan Wu

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Tree Decomposition

Transitive Closure

Sequent Calculus

Inference Rules

Top Venues

Publications

Dale Miller, Jui-Hsuan Wu
A Positive Perspective on Term Representation (Invited Talk). CSL (2023)
Jui-Hsuan Wu
Proofs as Terms, Terms as Graphs. APLAS (2023)
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
Combinatorial Proofs and Decomposition Theorems for First-order Logic. LICS (2021)
Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu
Combinatorial Proofs and Decomposition Theorems for First-order Logic. CoRR (2021)