Constraint contextual rewriting. Armando, A. & Ranise, S. Journal of Symbolic Computation, 36(1-2):193-216, 2003. Paper doi bibtex @ARTICLE{Armando2003193,
author={Armando, A., Ranise, S.},
title={Constraint contextual rewriting},
journal={Journal of Symbolic Computation},
year={2003},
volume={36},
number={1-2},
pages={193-216},
doi={10.1016/S0747-7171(03)00025-7},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-14744268584&partnerID=40&md5=c028d4dae8f3de121b225e0c48aac30f},
document_type={Article},
source={Scopus},
}
Downloads: 0
{"_id":"QF22sZXvYe3ZCuAvG","bibbaseid":"armando-ranise-constraintcontextualrewriting-2003","downloads":0,"creationDate":"2016-08-26T09:24:47.556Z","title":"Constraint contextual rewriting","author_short":["Armando, A.","Ranise, S."],"year":2003,"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":["Ranise"],"firstnames":["S."],"suffixes":[]}],"title":"Constraint contextual rewriting","journal":"Journal of Symbolic Computation","year":"2003","volume":"36","number":"1-2","pages":"193-216","doi":"10.1016/S0747-7171(03)00025-7","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-14744268584&partnerID=40&md5=c028d4dae8f3de121b225e0c48aac30f","document_type":"Article","source":"Scopus","bibtex":"@ARTICLE{Armando2003193,\nauthor={Armando, A., Ranise, S.},\ntitle={Constraint contextual rewriting},\njournal={Journal of Symbolic Computation},\nyear={2003},\nvolume={36},\nnumber={1-2},\npages={193-216},\ndoi={10.1016/S0747-7171(03)00025-7},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-14744268584&partnerID=40&md5=c028d4dae8f3de121b225e0c48aac30f},\ndocument_type={Article},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Ranise, S."],"key":"Armando2003193","id":"Armando2003193","bibbaseid":"armando-ranise-constraintcontextualrewriting-2003","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-14744268584&partnerID=40&md5=c028d4dae8f3de121b225e0c48aac30f"},"downloads":0},"search_terms":["constraint","contextual","rewriting","armando","ranise"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}