scientific article; zbMATH DE number 5761834

MaRDI QIDQ3575467zbMATH OpenFDO

Authors Achille Frigeri, Christian Choffrut

Publication date 27 July 2010

Full work available at URL https://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/1300/0.html

zbMATH Keywords

decidabilityfirst-order definabilityPresburger arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 1182797
• Multi-choice problems and the essential order among decision rules
• scientific article; zbMATH DE number 3958772
• On the Complexity of Some Ordering Problems
• scientific article; zbMATH DE number 604876
• Order relations among efficient decision rules
• Practical algorithms for deciding path ordering constraint satisfaction.
• A strategy for ordering disjunctives in the resolution method
• Automated Reasoning
• On algorithms to find \(p\)-ordering

Cited in

(5)

• Definable sets up to definable bijections in Presburger groups
• On the commutative equivalence of semi-linear sets of \(\mathbb{N}^k\)
• Theories of real addition with and without a predicate for integers
• On the power of ordering in linear arithmetic theories
• Quasi-polynomials, linear Diophantine equations and semi-linear sets

This page was built for publication:

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