Travelled to:1 × Estonia
Collaborated with:B.C.d.S.Oliveira S.Cho K.Yi
Talks about:metatheori (1) represent (1) framework (1) generic (1) formal (1) order (1) first (1) meta (1)
Person: Gyesik Lee
DBLP: Lee:Gyesik
Contributed to:
2012Wrote 1 papers:
- ESOP-2012-LeeOCY #first-order #framework #named
- GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.