Using Commutativity Properties for Controlling Coercions

J. Calmet and J. A. Campbell (Editors)

S. A. Missura and Andreas Weber

In proceedings of Integrating Symbolic Mathematical Computation and Artifical Intelligence - Second International Conference (AISMC-2), pages 131-143, Springer-Verlag, Aug. 1994

Bibtex

@INPROCEEDINGS{MissuraWeber94a,
     author = {Missura, S. A. and Weber, Andreas},
     editor = {Calmet, J. and Campbell, J. A.},
      pages = {131--143},
      title = {Using Commutativity Properties for Controlling Coercions},
  booktitle = {Integrating Symbolic Mathematical Computation and Artifical Intelligence - Second International
               Conference (AISMC-2)},
     series = {Lecture Notes in Computer Science},
     volume = {958},
       year = {1994},
      month = aug,
  publisher = {Springer-Verlag}
}