Tetsuya Sato
发表
Tetsuya Sato,
2017
.
Tetsuya Sato,
Tetsuya Sato,
2018,
Journal of Pure and Applied Algebra.
Tetsuya Sato,
Shin-ya Katsumata,
2022,
Math. Struct. Comput. Sci..
Kohei Suenaga,
Yusuke Kawamoto,
Tetsuya Sato,
2022,
ArXiv.
Tetsuya Sato,
Tetsuya Sato,
2016,
MFPS.
Tetsuya Sato,
Tetsuya Sato,
2014,
MFPS.
Dominic A. Orchard,
Shin-ya Katsumata,
Marco Gaboardi,
2020,
ESOP.
Gilles Barthe,
Justin Hsu,
Tetsuya Sato,
2019,
AISTATS.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2018,
Proc. ACM Program. Lang..
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
ArXiv.
Justin Hsu,
G. Barthe,
Marco Gaboardi,
2019,
AISTATS.
Kohei Suenaga,
Yusuke Kawamoto,
Tetsuya Sato,
2021,
KR.
Tarmo Uustalu,
Tetsuya Sato,
Shin-ya Katsumata,
2018,
Log. Methods Comput. Sci..
Tetsuya Sato,
Yasuhiko Minamide,
Michikazu Hirata,
2023,
ITP.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Tetsuya Sato,
Yasuhiko Minamide,
Michikazu Hirata,
2023,
Sci. Comput. Program..