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.
A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic [link]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