Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987. Proceedings

Rewriting Techniques and Applications

3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Foundations of equational logic programming

TAPSOFT '89

proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

Volume 1