TY  - RPRT
TI  - Expressing Algorithms As Concise As Possible via Computability Logic
AU  - Keehang Kwon
PY  - 2013
DO  - 10.1587/transfun.e97.a.1385
UR  - https://arxiv.org/abs/1305.2004
ID  - 1305.2004
ER  -