Kohei Kishida
发表
Jort Bergfeld,
Kohei Kishida,
Joshua Sack,
2015,
Stud Logica.
Kohei Kishida,
Samson Abramsky,
Rui Soares Barbosa,
2015,
CSL.
Kohei Kishida,
2011,
Electron. Notes Theor. Comput. Sci..
Kohei Kishida,
K. Kishida,
2014,
QPL.
Kohei Kishida,
K. Kishida,
2017,
TARK.
Kohei Kishida,
Samson Abramsky,
Rui Soares Barbosa,
2017
.
Kohei Kishida,
Steven Awodey,
S. Awodey,
2008,
The Review of Symbolic Logic.
Kohei Kishida,
Neil J. Ross,
Peter Selinger,
2020,
RC.
Kohei Kishida,
Nuel Belnap,
Thomas Müller,
2008,
Synthese.
Kohei Kishida,
K. Kishida,
2012,
JSAI-isAI Workshops.
Kohei Kishida,
Samson Abramsky,
Rui Soares Barbosa,
2016,
ArXiv.
Kohei Kishida,
2018
.
Kohei Kishida,
Samson Abramsky,
Rui Soares Barbosa,
2015
.
Kohei Kishida,
2016,
ICALP.
Kohei Kishida,
Steven Awodey,
Hans-Christoph Kotzsch,
2013,
TACL.
Kohei Kishida,
Samson Abramsky,
Rui Soares Barbosa,
2015,
Annual Conference for Computer Science Logic.
Jort Bergfeld,
Kohei Kishida,
Joshua Sack,
2013,
WoLLIC.
Kohei Kishida,
Peng Fu,
Peter Selinger,
2020,
LICS.
Kohei Kishida,
Samson Abramsky,
Rui Soares Barbosa,
2017,
TQC.
Kohei Kishida,
Steven Awodey,
S. Awodey,
2012,
Advances in Modal Logic.
Kohei Kishida,
S. Awodey,
Steven Awodey,
2012,
AiML 2012.