author = {B. Buchberger},
title = {{Mathematica as a Rewrite Language}},
language = {english},
year = {1996},
month = {November 1-4},
annote = {1996-11-01-A},
note = {Invited talk at Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, pp. 1-13, World Scientific, Singapore), Shonan Village Center},
keywords = {design of Theorema, sequence variables, automated proving, automated induction, functors, syntax, algorithms and theorems},
conferencename = {Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, pp. 1-13, World Scientific, Singapore), Shonan Village Center}