A 222pn upper bound on the complexity of Presburger Arithmetic

Publisher Website

1 June 1978

journal article
Published by Elsevier in Journal of Computer and System Sciences

Vol. 16 (3), 323-332
https://doi.org/10.1016/0022-0000(78)90021-1

Abstract

No abstract available

Keywords

Cited by 105 articles