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]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