The complexity of presburger arithmetic with bounded quantifier alternation depth

Research output: Contribution to journalArticlepeer-review

28 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