VSL 2014: VIENNA SUMMER OF LOGIC 2014
Katsumi Inoue
Organization: NII
Web site: http://research.nii.ac.jp/~inoue
Pages in this Program
KR Program Committee
NMR Program Committee