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]](https://bibbase.org/img/filetypes/link.svg "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
{"_id":"2sffShAjYqpK8sPCf","bibbaseid":"armando-compagna-ranise-systemdescriptionrdlrewriteanddecisionprocedurelaboratory-2001","downloads":0,"creationDate":"2016-08-26T09:24:47.118Z","title":"System description: RDL rewrite and decision procedure laboratory","author_short":["Armando, A.","Compagna, L.","Ranise, S."],"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":["Compagna"],"firstnames":["L."],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["S."],"suffixes":[]}],"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","bibtex":"@ARTICLE{Armando2001663,\nauthor={Armando, A., Compagna, L., Ranise, S.},\ntitle={System description: RDL rewrite and decision procedure laboratory},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={2001},\nvolume={2083 LNAI},\npages={663-669},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-36849016229&partnerID=40&md5=c271058059b3f78b1bd21869139a8917},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Compagna, L.","Ranise, S."],"key":"Armando2001663","id":"Armando2001663","bibbaseid":"armando-compagna-ranise-systemdescriptionrdlrewriteanddecisionprocedurelaboratory-2001","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-36849016229&partnerID=40&md5=c271058059b3f78b1bd21869139a8917"},"downloads":0},"search_terms":["system","description","rdl","rewrite","decision","procedure","laboratory","armando","compagna","ranise"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}