Communication protocols for mathematical services. Armando, A., Kohlase, M., & Ranise, S. In Kerber, M. & Kohlhase, M., editors, Symbolic Computation and Automated Reasoning, pages 33--48. A. K. Peters, Ltd., Natick, MA, USA, 2001.
Communication protocols for mathematical services [pdf]Paper  bibtex   

Downloads: 0