A Unified-Algebra-Based Specification Language for Symbolic Computing

Jacques Calmet, Indra A. Tjandra. A Unified-Algebra-Based Specification Language for Symbolic Computing. 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 122-133, Springer, 1993.

Authors

Jacques Calmet

This author has not been identified. Look up 'Jacques Calmet' in Google

Indra A. Tjandra

This author has not been identified. Look up 'Indra A. Tjandra' in Google