F. Prost
发表
F. Prost,
1999
.
F. Prost,
2022,
2209.11194.
Fr'ed'eric Prost,
F. Prost,
2019,
ArXiv.
Andrea Corradini,
Dominique Duval,
Frédéric Prost,
2019,
J. Log. Algebraic Methods Program..
Frédéric Prost,
Jisang Yoon,
F. Prost,
2016,
ArXiv.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2007,
TERMGRAPH@ETAPS.
Andrea Corradini,
Dominique Duval,
Frédéric Prost,
2014,
ICGT.
Andrea Corradini,
Dominique Duval,
Frédéric Prost,
2020,
Theor. Comput. Sci..
Gerd Finke,
Frédéric Prost,
Rachid Echahed,
2005,
PADL.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2007,
RTA.
D. Duval,
F. Prost,
R. Echahed,
2022,
ArXiv.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2012,
ICGT.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2009,
ArXiv.
Dominique Duval,
Frédéric Prost,
Rachid Echahed,
2005,
ArXiv.
Frédéric Prost,
F. Prost,
2011,
2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third Int'l Conference on Social Computing.
Frédéric Prost,
Rachid Echahed,
F. Prost,
2005,
PPDP.
Frédéric Prost,
Rachid Echahed,
F. Prost,
2005,
WITS '05.
R. Echahed,
F. Prost,
F. Prost,
2004
.
Dominique Duval,
Frédéric Prost,
Leila Ribeiro,
2014,
FASE.
Dominique Duval,
Frédéric Prost,
Leila Ribeiro,
2014,
ArXiv.
Frédéric Prost,
Rachid Echahed,
Wendelin Serwe,
2003,
PPDP '03.