Jeongbong Seo

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Automated Deduction

Mathematical Knowledge

Boolean Queries

Top Venues

Acta Informatica

J. Autom. Reason.

Publications

Jonghyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee
Mechanizing Metatheory Without Typing Contexts. J. Autom. Reason. 52 (2) (2014)
Jonghyun Park, Jeongbong Seo, Sungwoo Park
A theorem prover for Boolean BI. POPL (2013)
Jeongbong Seo, Sungwoo Park
Judgmental subtyping systems with intersection types and modal types. Acta Informatica 50 (7-8) (2013)