One-parametric Presburger arithmetic has quantifier elimination
From MaRDI portal
Cites work
- A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
- A polynomial time algorithm for diophantine equations in one variable
- An efficient quantifier elimination procedure for Presburger arithmetic
- An introduction to the theory of linear integer arithmetic (invited paper)
- An NP-Complete Number-Theoretic Problem
- Bounding quantification in parametric expansions of Presburger arithmetic
- Bounds on Positive Integral Solutions of Linear Diophantine Equations
- Dominoes and the complexity of subclasses of logical theories
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity
- Generalized Ehrhart polynomials
- scientific article; zbMATH DE number 1253963 (Why is no real title available?)
- scientific article; zbMATH DE number 3408928 (Why is no real title available?)
- Title not available (Why is no real title available?)
- Integer linear-exponential programming in NP by quantifier elimination
- NP-complete decision problems for binary quadratics
- On Presburger arithmetic extended with non-unary counting quantifiers
- Parametric Presburger arithmetic: complexity of counting and quantifier elimination
- Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
- Positive existential Definability with unit, addition and coprimeness
- Presburger arithmetic with bounded quantifier alternation
- Quantifier elimination for counting extensions of Presburger arithmetic
- Satisfiability modulo exponential integer arithmetic
- Satisfiability modulo theories
- Subclasses of Presburger arithmetic and the weak EXP hierarchy
- The complexity of almost linear diophantine problems
- The complexity of Presburger arithmetic with power or powers
- Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.
This page was built for publication: One-parametric Presburger arithmetic has quantifier elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7310247)
