Takayuki Kihara

发表

Takayuki Kihara, 2015, Math. Struct. Comput. Sci..
Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov, 2020, CiE.
Takayuki Kihara, Kenshi Miyabe, Takayuki Kihara, 2015, Arch. Math. Log..
Arno Pauly, Takayuki Kihara, 2016, MFCS.
Takayuki Kihara, Kenshi Miyabe, 2014, J. Log. Comput..
Kojiro Higuchi, Takayuki Kihara, 2012, CiE.
Takayuki Kihara, Takayuki Kihara, 2018, The Journal of Symbolic Logic.
Arno Pauly, Takayuki Kihara, Takayuki Kihara, 2019, ArXiv.
Paul-Elliot Anglès d'Auriac, Takayuki Kihara, 2019, ArXiv.
Kojiro Higuchi, Takayuki Kihara, 2014, Ann. Pure Appl. Log..
Arno Pauly, Takayuki Kihara, Takayuki Kihara, 2014, Forum of Mathematics, Sigma.
Takayuki Kihara, 2016, Log. Methods Comput. Sci..
Takayuki Kihara, Joshua A. Cole, Takayuki Kihara, 2010, Arch. Math. Log..
Arno Pauly, Takayuki Kihara, 2019, TAMC.
Kojiro Higuchi, Takayuki Kihara, Takayuki Kihara, 2014, Ann. Pure Appl. Log..
Takayuki Kihara, Victor Selivanov, 2019, ArXiv.
Arno Pauly, Keng Meng Ng, Takayuki Kihara, 2019, ArXiv.
Kojiro Higuchi, Makoto Fujiwara, Takayuki Kihara, 2014, Math. Log. Q..
Hajime Ishihara, Josef Berger, Takayuki Kihara, 2018, Archive for Mathematical Logic.
Arno Pauly, Alberto Marcone, Takayuki Kihara, 2018, The Journal of Symbolic Logic.
Takayuki Kihara, Zvonko Iljazović, Takayuki Kihara, 2021 .
Takayuki Kihara, Takayuki Kihara, 2021, Transactions of the American Mathematical Society, Series B.
Keng Meng Ng, Takayuki Kihara, Vassilios Gregoriades, 2014, J. Math. Log..
Takayuki Kihara, Vassilios Gregoriades, Takayuki Kihara, 2014 .
Takayuki Kihara, Antonio Montalb'an, 2019, Transactions of the American Mathematical Society.
Takayuki Kihara, Antonio Montalb'an, Takayuki Kihara, 2016, Transactions of the American Mathematical Society.
Benedikt Löwe, Luca Motto Ros, Takayuki Kihara, 2019 .
Guohua Wu, Douglas Cenzer, Takayuki Kihara, 2009 .
Takayuki Kihara, Takayuki Kihara, 2013, 1304.0698.