Using Commutativity Properties for Controlling Coercions

J. Calmet und J. A. Campbell (Editoren)
S. A. Missura und 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}
}