Takafumi Saikawa
发表
Jacques Garrigue,
Reynald Affeldt,
David Nowak,
2020,
Journal of Functional Programming.
Reynald Affeldt,
Takafumi Saikawa,
David Nowak,
2019,
MPC.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
CICM.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2018,
2018 International Symposium on Information Theory and Its Applications (ISITA).
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2016,
2016 International Symposium on Information Theory and Its Applications (ISITA).
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
Journal of Automated Reasoning.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
CICM.