On Coherence in Computer Algebra

Andreas Weber
In: Journal of Symbolic Computation (1995), 19:1-3(25-38)
 

Bibtex

@ARTICLE{Weber94e,
    author = {Weber, Andreas},
     pages = {25--38},
     title = {On Coherence in Computer Algebra},
   journal = {Journal of Symbolic Computation},
    volume = {19},
    number = {1-3},
      year = {1995}
}