The complexity of presburger arithmetic with bounded quantifier alternation depth

Research output: Contribution to journalArticle

24 Scopus citations

Fingerprint Dive into the research topics of 'The complexity of presburger arithmetic with bounded quantifier alternation depth'. Together they form a unique fingerprint.

Mathematics