Login / Signup
Sung Kook Kim
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 4
Top Topics
Memory Efficient
Update Rule
Recursive Queries
Proof Theoretic
Top Venues
CoRR
Proc. ACM Program. Lang.
SAS
</>
Publications
</>