Hubert Comon
· 9 obras en el catálogo
Obras

Rewriting, Computation and Proof

Rewriting techniques and applications
Constraints in Computational Logics : Theory and Applications
Computer Aided Verification
Activite Numerique No.913-914

Term rewriting
1995
Constraints in computational logics

Rewriting Techniques and Applications
