Byunghan Kim
3 known books
newest first
No author bio imported yet.
Books
OpenLibrary works by this author.
Proceedings of the 11th Asian Log...
Proceedings of the 11th Asian Logic Conference
Year unknown
Toshiyasu Arai, Byunghan Kim, and Yue Yang
Proceedings of the 13th Asian Log...
Proceedings of the 13th Asian Logic Conference
Year unknown
Liang Yu, Xishun Zhao, Qi Feng, and Byunghan Kim
Simplicity Theory
Simplicity Theory
Year unknown
Fetched from OpenLibrary. Some translations may appear as separate works.