Algebraic Methods II: Theory, Tools and Applications

Jan A. Bergstra, Loe M.G. Feijs — 1991

This volume originates from a workshop organized within ESPRIT Project 432 METEOR, belonging to subprogramme 2 on Software Technology. It is a successor to volume 394 of this Lecture Notes series.