Rachid Echahed

Rachid Echahed

Research Fellow CNRS, Grenoble
Verified email at imag.fr
Cited by 1989
Rewriting Theory Program Verification Multiparadigm Programming
Frédéric Blanqui

Frédéric Blanqui

INRIA
Verified email at inria.fr
Cited by 1409
dependent type theory rewriting theory logic formal proofs proof assistants