Verifying and reflecting quantifier elimination for presburger arithmetic

Amine Chaieb, Tobias Nipkow

Research output: Contribution to journalConference articlepeer-review

15 Scopus citations

Fingerprint

Dive into the research topics of 'Verifying and reflecting quantifier elimination for presburger arithmetic'. Together they form a unique fingerprint.

Computer Science

Keyphrases