Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/cca/Abdali86,
  author       = {S. Kamal Abdali},
  title        = {Fifth {RIMS} Conference on Formula Manipulation and its Application
                  to Mathematical Study},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {1-2},
  pages        = {37--39},
  year         = {1986},
  url          = {https://doi.org/10.1145/12917.1095552},
  doi          = {10.1145/12917.1095552},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Abdali86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Abdali86a,
  author       = {S. Kamal Abdali},
  title        = {{EUROCAL} '85 Abstracts},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {1-2},
  pages        = {40--63},
  year         = {1986},
  url          = {https://doi.org/10.1145/12917.1095553},
  doi          = {10.1145/12917.1095553},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Abdali86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Caprasse86,
  author       = {Hubert Caprasse},
  title        = {A complete simplification package for the absolute value function
                  in {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {1-2},
  pages        = {18--21},
  year         = {1986},
  url          = {https://doi.org/10.1145/12917.12920},
  doi          = {10.1145/12917.12920},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Caprasse86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Caprasse86a,
  author       = {Hubert Caprasse},
  title        = {Description of an extension of the Matrix package of : 20Reduce"},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {4},
  pages        = {7--10},
  year         = {1986},
  url          = {https://doi.org/10.1145/14956.14957},
  doi          = {10.1145/14956.14957},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Caprasse86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Davenport86,
  author       = {James H. Davenport},
  title        = {A "Piano Movers" Problem},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {1-2},
  pages        = {15--17},
  year         = {1986},
  url          = {https://doi.org/10.1145/12917.12919},
  doi          = {10.1145/12917.12919},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Davenport86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Ebner86,
  author       = {Dieter W. Ebner},
  title        = {{GOEDEL:} {A} computer language for symbolic algebraic calculations
                  - an introduction by examples},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {3},
  pages        = {16--19},
  year         = {1986},
  url          = {https://doi.org/10.1145/14959.14960},
  doi          = {10.1145/14959.14960},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Ebner86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Gleyse86,
  author       = {Bernard Gleyse},
  title        = {Symbolic computation and number of zeros of a real parameter polynomial
                  in the unit disk},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {1-2},
  pages        = {22--28},
  year         = {1986},
  url          = {https://doi.org/10.1145/12917.12921},
  doi          = {10.1145/12917.12921},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Gleyse86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Heuvel86,
  author       = {P. van den Heuvel},
  title        = {Adding statements to {REDUCE}},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {1-2},
  pages        = {8--14},
  year         = {1986},
  url          = {https://doi.org/10.1145/12917.12918},
  doi          = {10.1145/12917.12918},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Heuvel86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Langemyr86,
  author       = {Lars Langemyr},
  title        = {Converting {SAC-2} code to lisp},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {4},
  pages        = {11--13},
  year         = {1986},
  url          = {https://doi.org/10.1145/14956.14958},
  doi          = {10.1145/14956.14958},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Langemyr86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Namba86,
  author       = {Kenji Namba},
  title        = {Some improvements on Utah standard lisp},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {1-2},
  pages        = {29--36},
  year         = {1986},
  url          = {https://doi.org/10.1145/12917.12922},
  doi          = {10.1145/12917.12922},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Namba86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Winkler86,
  author       = {Franz Winkler},
  title        = {{AAECC-3} Abstracts},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {3},
  pages        = {20--32},
  year         = {1986},
  url          = {https://doi.org/10.1145/14959.1095554},
  doi          = {10.1145/14959.1095554},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Winkler86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Winkler86a,
  author       = {Franz Winkler},
  title        = {SYMSAC'86 Abstracts},
  journal      = {{SIGSAM} Bull.},
  volume       = {20},
  number       = {4},
  pages        = {14--21},
  year         = {1986},
  url          = {https://doi.org/10.1145/14956.1095555},
  doi          = {10.1145/14956.1095555},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Winkler86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics