An efficient quantifier elimination procedure for Presburger arithmetic

From MaRDI portal
An efficient quantifier elimination procedure for Presburger arithmetic (scientific article from arXiv)

MaRDI QIDQ6532979arXivFDO

Authors Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche

Published in arXiv

















This page was built for publication: An efficient quantifier elimination procedure for Presburger arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6532979)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=An_efficient_quantifier_elimination_procedure_for_Presburger_arithmetic_(scientific_article_from_arXiv)&oldid=99835934"
Powered by MediaWiki