=ADD=
=reftype=
14
=number=
96-40
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1996/96-40.ps.gz
=sponsor=
Partially supported by: TARA (Tsukuba Advanced Research Alliance);
IPA-AITP (Advanced Information
Technology Program of the Information-Technology Promotion Agency, Japan);
Fujitsu Labs, ISIS, Numazu, Japan.
=year=
1996
=author=
Buchberger; Bruno
=title=
Mathematica as a Rewrite Language
=howpublished=
T. Ida (ed.) ``The Second Fuji International Workshop on Functional
and Logic Programming'', Nov. 1-4, Shonan Village, Japan.
=month=
12
=abstract=
The kernel of the Mathematica language is a higher-order
conditional rewrite language with sequence variables.
This fact is little known.
We derive some conclusions from this for the use of Mathematica as a research
tool in the area of rewriting and related areas.
=location=
2
=owner=
2
=source=
3