RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC5283,
    author = {A. Maletzky},
    title = {{Verifying Buchberger's Algorithm in Reduction Rings}},
    booktitle = {{Proceedings of the 4th International Seminar on Program Verification, Automated Debugging, and Symbolic Computation}},
    language = {english},
    pages = {16--23},
    isbn_issn = {??},
    year = {2015},
    month = {October},
    note = {arXiv:1604.08736 [cs.SC]},
    editor = {Tudor Jebelean and Dongming Wang},
    refereed = {yes},
    length = {8},
    conferencename = {PAS'2015, Beijing, China, October 21--23},
    url = {http://arxiv.org/abs/1604.08736}
    }