Author:
Boy de la Tour Thierry,Echenim Mnacho
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference15 articles.
1. Avenhaus, J. and Plaisted, D.: General algorithms for permutations in equational inference, J. Automated Reasoning 26 (April 2001), 223?268.
2. Baader, F. and Nipkow, T.: Term Rewriting and All That, Cambridge University Press, 1998.
3. Babai, L.: Automorphism groups, isomorphism, reconstruction, in R. L. Graham, M. Grotschel and L. Lovasz (eds.), Handbook of Combinatorics, Vol. 2, Elsevier and MIT Press, 1995.
4. Babai, L., Erdõs, P. and Selkow, S. M.: Random graph isomorphism, SIAM J. Computing 9(3) (August 1980), 628?635.
5. Barendregt, H. P., van Eekelen, M. C. J. D., Glauert, J. R. W., Kennaway, J. R., Plasmeijer, M. J. and Sleep M. R.: Term graph rewriting, in J. W. de Bakker, A. J. Nijman and P. C. Treleaven (eds.), PARLE?87, LNCS 259, Vol. 2, Springer-Verlag, June 1987, pp. 141?158.