Daeseong Kang

Identifiers

• name variant Daeseong Kang 0.60 · backfill

Papers (5)

1. Local Modules in Imperative Languages cs.PL · 2017 · author #2
2. Towards a Decidable LogicWeb via Length-Bounded Derivations cs.LO · 2017 · author #2
3. A Concurrent Model for Imperative Languages with Improved Atomicity cs.PL · 2017 · author #2
4. Sequential Operations in LogicWeb cs.PL · 2014 · author #1
5. Mutually Exclusive Rules in LogicWeb cs.LO · 2012 · author #2

Mentions

• 1412.1221 #1 · backfill · confidence 0.70 Daeseong Kang
• 1211.4935 #2 · backfill · confidence 0.70 Daeseong Kang

Frequent Coauthors

• Keehang Kwon 5 shared papers
• Zulkarnine Mahmud 1 shared papers