Rewriting Techniques and Applicationsde Hubert ComonEdiciones (1)Rewriting Techniques and Applications (1997)Springer · inglés · ISBN 9783540629504Más obras de Hubert ComonRewriting, Computation and ProofRewriting techniques and applicationsCConstraints in Computational Logics : Theory and ApplicationConstraints in Computational Logics : Theory and Applications
CConstraints in Computational Logics : Theory and ApplicationConstraints in Computational Logics : Theory and Applications