Brendle, Jörg について
Graduate School of System Informatics, Kobe University について
Brooke-Taylor, Andrew について
School of Mathematical Sciences, University of Bristol について
Ng, Keng Meng について
Division of Mathematical Sciences, School of Physical & Mathematical Sciences, Nanyang Technological University について
Nies, André について
Department of Computer Science, University of Auckland について
Proceedings of the 13th Asian Logic Conference, ALC 2013 について