×

zbMATH — the first resource for mathematics

Super-exponential complexity of Presburger arithmetic. (English) Zbl 0319.68024
Complexity of Comput., Proc. Symp. appl. Math., New York City 1973, 27-41 (1974).

MSC:
68Q25 Analysis of algorithms and problem complexity
03B10 Classical first-order logic
03B25 Decidability of theories and sets of sentences
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)