A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic. Armando, A. & Ranise, S. Journal of Universal Computer Science, 7(2):124-140, 2001.
Paper bibtex @ARTICLE{Armando2001124,
author={Armando, A., Ranise, S.},
title={A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic},
journal={Journal of Universal Computer Science},
year={2001},
volume={7},
number={2},
pages={124-140},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038010830&partnerID=40&md5=00209ba750be46f0fa25ac0daf1e1451},
document_type={Article},
source={Scopus},
}
Downloads: 0
{"_id":"zyJgEtpEzodJ3eZYs","bibbaseid":"armando-ranise-apracticalextensionmechanismfordecisionproceduresthecasestudyofuniversalpresburgerarithmetic-2001","downloads":0,"creationDate":"2016-08-26T09:24:46.761Z","title":"A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic","author_short":["Armando, A.","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":["Ranise"],"firstnames":["S."],"suffixes":[]}],"title":"A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic","journal":"Journal of Universal Computer Science","year":"2001","volume":"7","number":"2","pages":"124-140","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038010830&partnerID=40&md5=00209ba750be46f0fa25ac0daf1e1451","document_type":"Article","source":"Scopus","bibtex":"@ARTICLE{Armando2001124,\nauthor={Armando, A., Ranise, S.},\ntitle={A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic},\njournal={Journal of Universal Computer Science},\nyear={2001},\nvolume={7},\nnumber={2},\npages={124-140},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038010830&partnerID=40&md5=00209ba750be46f0fa25ac0daf1e1451},\ndocument_type={Article},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Ranise, S."],"key":"Armando2001124","id":"Armando2001124","bibbaseid":"armando-ranise-apracticalextensionmechanismfordecisionproceduresthecasestudyofuniversalpresburgerarithmetic-2001","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038010830&partnerID=40&md5=00209ba750be46f0fa25ac0daf1e1451"},"downloads":0},"search_terms":["practical","extension","mechanism","decision","procedures","case","study","universal","presburger","arithmetic","armando","ranise"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}