Algebraic methods : theory tools and applications : proceedings - Bergstra J A; Workshop on Algebraic Methods( 1987 : Germany ); Workshop on Algebraic Methods , Germany 1987 (Berlin Springer Verlag, 1989)
Keywords: Algebraic methods; Computer science