Search dblp for Publications

export results for "toc:db/journals/cca/cca19.bht:"

 download as .bib file

@article{DBLP:journals/cca/AbbottBD85,
  author       = {John A. Abbott and
                  Russell J. Bradford and
                  James H. Davenport},
  title        = {A remark on factorisation},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {2},
  pages        = {31--33},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089402.1089408},
  doi          = {10.1145/1089402.1089408},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/AbbottBD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Butler85,
  author       = {Gregory Butler},
  title        = {An improvement to the centralizer algorithm for permutation groups},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {2},
  pages        = {14--18},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089402.1089404},
  doi          = {10.1145/1089402.1089404},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Butler85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CaprasseH85,
  author       = {Hubert Caprasse and
                  M. Hans},
  title        = {A new use of operators in the algebraic mode of {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {3},
  pages        = {46--52},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089411.1089417},
  doi          = {10.1145/1089411.1089417},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/CaprasseH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Fateman85,
  author       = {Richard J. Fateman},
  title        = {Eleven proofs of sin\({}^{\mbox{2}}\)x+cos\({}^{\mbox{2}}\)x = 1},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {2},
  pages        = {25--28},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089402.1089406},
  doi          = {10.1145/1089402.1089406},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Fateman85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Fateman85a,
  author       = {Richard J. Fateman},
  title        = {Comments on {SMP}},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {3},
  pages        = {5--7},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089411.1089412},
  doi          = {10.1145/1089411.1089412},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Fateman85a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Gates85,
  author       = {Barbara L. Gates},
  title        = {Gentran: an automatic code generation facility for {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {3},
  pages        = {24--42},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089411.1089415},
  doi          = {10.1145/1089411.1089415},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Gates85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Golden85,
  author       = {Jeffrey P. Golden},
  title        = {Differentiation of unknown functions in {MACSYMA}},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {2},
  pages        = {19--24},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089402.1089405},
  doi          = {10.1145/1089402.1089405},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Golden85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/KryukovR85,
  author       = {Alexander P. Kryukov and
                  A. Ya. Rodionov},
  title        = {Dynamic-debugging system for the {REDUCE} programs},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {2},
  pages        = {34--37},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089402.1089409},
  doi          = {10.1145/1089402.1089409},
  timestamp    = {Thu, 25 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cca/KryukovR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/KryukovR85a,
  author       = {Alexander P. Kryukov and
                  A. Ya. Rodionov},
  title        = {Interactive {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {3},
  pages        = {43--45},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089411.1089416},
  doi          = {10.1145/1089411.1089416},
  timestamp    = {Thu, 25 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cca/KryukovR85a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/LelerS85,
  author       = {William Leler and
                  Neil Soiffer},
  title        = {An interactive graphical interface for {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {3},
  pages        = {17--23},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089411.1089414},
  doi          = {10.1145/1089411.1089414},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/LelerS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/MartiH85,
  author       = {Jed Marti and
                  Anthony C. Hearn},
  title        = {{REDUCE} as a lisp benchmark},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {3},
  pages        = {8--16},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089411.1089413},
  doi          = {10.1145/1089411.1089413},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/MartiH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Mazzarella85,
  author       = {Giuseppe Mazzarella},
  title        = {Improved simplification of odd and even functions in {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {2},
  pages        = {29--30},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089402.1089407},
  doi          = {10.1145/1089402.1089407},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Mazzarella85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/McIsaac85,
  author       = {Kevin McIsaac},
  title        = {Pattern matching algebraic identities},
  journal      = {{SIGSAM} Bull.},
  volume       = {19},
  number       = {2},
  pages        = {4--13},
  year         = {1985},
  url          = {https://doi.org/10.1145/1089402.1089403},
  doi          = {10.1145/1089402.1089403},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/McIsaac85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics