Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@phdThesis{renaud-11, author = "Fabien Renaud", title = "Les ressources explicites vues par la th\'eorie de la r\'e\'ecriture", year = 2011, mon = dec, institution = "Universit\'e Paris Diderot", }