Hubert Comon
Hubert Comon
5 books in the database
Books
Rewriting, Computation and ProofHubert Comon
Rewriting, Computation and Proof
Hubert Comon · 2007
Rewriting Techniques and ApplicationsHubert Comon
Rewriting Techniques and Applications
Hubert Comon · 1997
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993Hubert Comon
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993
Hubert Comon · 1995
Constraints in Computational Logics : Theory and ApplicationsHubert Comon
Constraints in Computational Logics : Theory and Applications
Hubert Comon · 2003
Activite Numerique No.913-914Hubert Comon
Activite Numerique No.913-914
Hubert Comon
Co-authored books and collections
Books that list Hubert Comon among their authors but not as the lead author: co-written works, collections and compilations.
