Anthony C. Hearn, Eberhard Schrüfer. An Order-Sorted Approach to Algebraic Computation. In Alfonso Miola, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings. Volume 722 of Lecture Notes in Computer Science, pages 134-144, Springer, 1993.
@inproceedings{HearnS93,
title = {An Order-Sorted Approach to Algebraic Computation},
author = {Anthony C. Hearn and Eberhard Schrüfer},
year = {1993},
tags = {C++, algebra, systematic-approach},
researchr = {https://researchr.org/publication/HearnS93},
cites = {0},
citedby = {0},
pages = {134-144},
booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings},
editor = {Alfonso Miola},
volume = {722},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57235-X},
}