Tue, 17 Feb 2015 16:50:11 +0900 |
Yasutaka Higa |
Update prepaper
prepaper_submit
|
Tue, 17 Feb 2015 16:40:06 +0900 |
Shinji KONO |
fix
|
Tue, 17 Feb 2015 16:11:40 +0900 |
Yasutaka Higa |
Mini fixes
|
Tue, 17 Feb 2015 15:33:22 +0900 |
Yasutaka Higa |
Update preprint
|
Tue, 17 Feb 2015 14:50:32 +0900 |
Yasutaka Higa |
Update preprint
|
Tue, 17 Feb 2015 14:32:40 +0900 |
Yasutaka Higa |
Mini fixes
|
Tue, 17 Feb 2015 12:28:08 +0900 |
Yasutaka Higa |
Add agda wiki into bibliography
|
Tue, 17 Feb 2015 12:23:20 +0900 |
Yasutaka Higa |
Adjust prepaper
|
Tue, 17 Feb 2015 12:08:10 +0900 |
Yasutaka Higa |
Writing prepaper...
|
Tue, 17 Feb 2015 10:09:22 +0900 |
Yasutaka Higa |
Add abstract in English to prepaper
|
Mon, 16 Feb 2015 17:16:20 +0900 |
Yasutaka Higa |
Add template of prepaper
|