Verifying and reflecting quantifier elimination for Presburger arithmetic (2005)

Cached

Download Links

by Amine Chaieb , Tobias Nipkow
Venue:LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
Citations:11 - 7 self

Document Versions

Verifying and reflecting quantifier elimination for Presburger arithmetic –Amine Chaieb, Tobias Nipkow — 2005 — LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING