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