Termination of constraint contextual rewriting. Armando, A. & Ranise, S. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1794:47-61, 2000. ![Termination of constraint contextual rewriting [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @ARTICLE{Armando200047,
author={Armando, A., Ranise, S.},
title={Termination of constraint contextual rewriting},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2000},
volume={1794},
pages={47-61},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949220969&partnerID=40&md5=4e9d7a0b137df9e4103b591e64796885},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"9MXDCcXka9y2Bq3op","bibbaseid":"armando-ranise-terminationofconstraintcontextualrewriting-2000","downloads":0,"creationDate":"2016-08-26T09:24:46.934Z","title":"Termination of constraint contextual rewriting","author_short":["Armando, A.","Ranise, S."],"year":2000,"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":"Termination of constraint contextual rewriting","journal":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","year":"2000","volume":"1794","pages":"47-61","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949220969&partnerID=40&md5=4e9d7a0b137df9e4103b591e64796885","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando200047,\nauthor={Armando, A., Ranise, S.},\ntitle={Termination of constraint contextual rewriting},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={2000},\nvolume={1794},\npages={47-61},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949220969&partnerID=40&md5=4e9d7a0b137df9e4103b591e64796885},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Ranise, S."],"key":"Armando200047","id":"Armando200047","bibbaseid":"armando-ranise-terminationofconstraintcontextualrewriting-2000","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949220969&partnerID=40&md5=4e9d7a0b137df9e4103b591e64796885"},"downloads":0},"search_terms":["termination","constraint","contextual","rewriting","armando","ranise"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}