Maple's evaluation process as constraint contextual rewriting. Armando, A. & Ballarin, C. Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 2001.
Paper bibtex @ARTICLE{Armando200132,
author={Armando, A., Ballarin, C.},
title={Maple's evaluation process as constraint contextual rewriting},
journal={Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC},
year={2001},
pages={32-37},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034776825&partnerID=40&md5=901c9be0907508eab1db607084aa2116},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"boeTNgMeG5qFsW2M6","bibbaseid":"armando-ballarin-maplesevaluationprocessasconstraintcontextualrewriting-2001","downloads":0,"creationDate":"2016-08-26T09:24:46.983Z","title":"Maple's evaluation process as constraint contextual rewriting","author_short":["Armando, A.","Ballarin, C."],"year":2001,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Ballarin"],"firstnames":["C."],"suffixes":[]}],"title":"Maple's evaluation process as constraint contextual rewriting","journal":"Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC","year":"2001","pages":"32-37","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034776825&partnerID=40&md5=901c9be0907508eab1db607084aa2116","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando200132,\nauthor={Armando, A., Ballarin, C.},\ntitle={Maple's evaluation process as constraint contextual rewriting},\njournal={Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC},\nyear={2001},\npages={32-37},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034776825&partnerID=40&md5=901c9be0907508eab1db607084aa2116},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Ballarin, C."],"key":"Armando200132","id":"Armando200132","bibbaseid":"armando-ballarin-maplesevaluationprocessasconstraintcontextualrewriting-2001","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034776825&partnerID=40&md5=901c9be0907508eab1db607084aa2116"},"downloads":0},"search_terms":["maple","evaluation","process","constraint","contextual","rewriting","armando","ballarin"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}