H
Hubert Comon
7 works on record
Works

Term rewriting
1995

Rewriting, Computation and Proof

Rewriting techniques and applications

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993
Constraints in Computational Logics : Theory and Applications
Constraints in Computational Logics : Theory and Applications
Computer Aided Verification
Computer Aided Verification
Activite Numerique No.913-914
Activite Numerique No.913-914