RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC342,
    author = {B. Buchberger},
    title = {{Mathematica as a Rewrite Language}},
    booktitle = {{Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, November 1-4, 1996, Shonan Village Center)}},
    language = {english},
    pages = {1--13},
    publisher = {Copyright: World Scientific, Singapore - New Jersey - London - Hong Kong},
    isbn_issn = {ISBN 981-02-2923-2},
    year = {1996},
    annote = {1996-11-01-A},
    editor = {T. Ida and A. Ohori and M. Takeichi},
    refereed = {yes},
    keywords = {Keywords: design of Theorema, sequence variables, automated proving, automated induction, functors, syntax, algorithms and theorems},
    length = {13}
    }