On Presburger arithmetic extended with modulo counting quantifiers

DOI10.1007/978-3-662-46678-0_24MaRDI QIDQ2949452zbMATH OpenOpenAlexFDO

Authors Peter Habermehl, Dietrich Kuske

Publication date 1 October 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46678-0_24

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Presburger arithmetic with bounded quantifier alternation
• scientific article; zbMATH DE number 1253963
• Effective Quantifier Elimination for Presburger Arithmetic with Infinity
• Complexity of Presburger arithmetic with fixed quantifier dimension
• Subclasses of Presburger arithmetic and the polynomial-time hierarchy

Cited in

(17)

• Complexity of Presburger arithmetic with fixed quantifier dimension
• Bounding quantification in parametric expansions of Presburger arithmetic
• scientific article; zbMATH DE number 6680147 (Why is no real title available?)
• On the locality of arb-invariant first-order formulas with modulo counting quantifiers
• Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
• On the use of non-deterministic automata for Presburger arithmetic
• Effective Quantifier Elimination for Presburger Arithmetic with Infinity
• scientific article; zbMATH DE number 4031630 (Why is no real title available?)
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• On the complexity of linear arithmetic with divisibility
• scientific article; zbMATH DE number 1929303 (Why is no real title available?)
• Complexity of short Presburger arithmetic
• Presburger arithmetic with algebraic scalar multiplications
• Presburger arithmetic with bounded quantifier alternation
• Expansions of Presburger arithmetic with the exchange property
• On Presburger arithmetic extended with non-unary counting quantifiers
• Quantifier elimination for counting extensions of Presburger arithmetic

This page was built for publication: On Presburger arithmetic extended with modulo counting quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2949452)