Joonhee Kim

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Tree Structures

Pruning Algorithm

Ai Technologies

Top Venues

Ann. Pure Appl. Log.

Publications

JinHoo Ahn, Joonhee Kim
SOP1, SOP2, and antichain tree property. Ann. Pure Appl. Log. 175 (3) (2024)
JinHoo Ahn, Joonhee Kim, Junguk Lee
On the antichain tree property. J. Math. Log. 23 (2) (2023)
Yongsik Im, Jaewoo Kim, Jaeho Ko, Joonhee Kim, Woongsoo Na
Research on Automatic Balance Patch Technology Through AI Analysis. ICTC (2022)