×

Found 2 Documents (Results 1–2)

Super-exponential complexity of Presburger arithmetic. (English) Zbl 0900.03027

Caviness, Bob F. (ed.) et al., Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Wien: Springer. Texts and Monographs in Symbolic Computation. 122-135 (1998).
PDFBibTeX XMLCite

Filter Results by …

Year of Publication

Main Field