Counting solutions to Presburger formulas: how and why

TitleCounting solutions to Presburger formulas: how and why
Publication TypeJournal Articles
Year of Publication1994
AuthorsPugh W
JournalACM SIGPLAN Notices
Volume29
Issue6
Pagination121 - 134
Date Published1994///