System description: RDL rewrite and decision procedure laboratory. Armando, A., Compagna, L., & Ranise, S. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2083 LNAI:663-669, 2001.
System description: RDL rewrite and decision procedure laboratory [link]Paper  bibtex   
@ARTICLE{Armando2001663,
author={Armando, A., Compagna, L., Ranise, S.},
title={System description: RDL rewrite and decision procedure laboratory},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2001},
volume={2083 LNAI},
pages={663-669},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-36849016229&partnerID=40&md5=c271058059b3f78b1bd21869139a8917},
document_type={Conference Paper},
source={Scopus},
}

Downloads: 0