106 articles – 48 Notices  [english version]
.:. Consultation > Liste par auteurs > Delobel .:.
1 document
fulltext access CoLoR: a Coq library on rewriting and termination
Blanqui F., Coupet-Grimal S., Delobel W., Hinderer S., Koprowski A.
Eighth International Workshop on Termination - WST 2006, États-Unis (2006) [inria-00084835 - version 2]