Reynald Affeldt
发表
Reynald Affeldt,
Kazuhiko Sakaguchi,
Reynald Affeldt,
2014,
J. Formaliz. Reason..
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2019
.
A. Yonezawa,
Reynald Affeldt,
N. Marti,
2007
.
Reynald Affeldt,
Reynald Affeldt,
Kiyoshi Yamada,
2012
.
Hubert Comon-Lundh,
Reynald Affeldt,
Reynald Affeldt,
2008
.
Jacques Garrigue,
Reynald Affeldt,
David Nowak,
2020,
Journal of Functional Programming.
Reynald Affeldt,
2011
.
Manabu Hagiwara,
Reynald Affeldt,
Reynald Affeldt,
2012,
ITP.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
Journal of Automated Reasoning.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2016,
2016 International Symposium on Information Theory and Its Applications (ISITA).
Reynald Affeldt,
Cyril Cohen,
Damien Rouhling,
2018,
J. Formaliz. Reason..
Reynald Affeldt,
Nicolas Marti,
Reynald Affeldt,
2013,
PLPV.
Jacques Garrigue,
Reynald Affeldt,
David Nowak,
2020,
Journal of Functional Programming.
Reynald Affeldt,
David Nowak,
Kiyoshi Yamada,
2012,
Sci. Comput. Program..
Reynald Affeldt,
David Nowak,
Kiyoshi Yamada,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
C. Cohen,
Reynald Affeldt,
2022,
Journal of Automated Reasoning.
Naoki Kobayashi,
Reynald Affeldt,
N. Kobayashi,
2008,
LFM@IJCAR.
Naoki Kobayashi,
Reynald Affeldt,
N. Kobayashi,
2002,
ISSS.
Akira Tanaka,
Jacques Garrigue,
Reynald Affeldt,
2016,
ICFEM.
Akinori Yonezawa,
Naoki Kobayashi,
Reynald Affeldt,
2005
.
Reynald Affeldt,
Takafumi Saikawa,
Jacques Garrigue,
2023,
ArXiv.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
CICM.
Reynald Affeldt,
Takafumi Saikawa,
David Nowak,
2019,
MPC.
Manabu Hagiwara,
Reynald Affeldt,
Jonas Sénizergues,
2014,
Journal of Automated Reasoning.