Abstract specification of structures and methods in symbolic mathematical computation (bibtex)

by Limongelli, Carla and Temperini, Marco

Reference:

Abstract specification of structures and methods in symbolic mathematical computation (Limongelli, Carla and Temperini, Marco), In Theoretical Computer Science, volume 104, 1992.

Bibtex Entry:

@article{Limongelli199289,
	Author = {Limongelli, Carla and Temperini, Marco},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Article},
	Doi = {10.1016/0304-3975(92)90167-E},
	Journal = {Theoretical Computer Science},
	Number = {1},
	Pages = {89-107},
	Source = {Scopus},
	Title = {Abstract specification of structures and methods in symbolic mathematical computation},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-3042927811&doi=10.1016%2f0304-3975%2892%2990167-E&partnerID=40&md5=3dc25e80a8c7b1a080245ba67ae0c156},
	Volume = {104},
	Year = {1992},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-3042927811&doi=10.1016%2f0304-3975%2892%2990167-E&partnerID=40&md5=3dc25e80a8c7b1a080245ba67ae0c156},
	Bdsk-Url-2 = {https://doi.org/10.1016/0304-3975(92)90167-E}}