A note on Presburger arithmetic with array segments, permutation and equality

DOI10.1016/0020-0190(86)90039-6zbMath0588.03007OpenAlexW2059490901MaRDI QIDQ1073009

Louis E. Rosier

Publication date: 1986

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(86)90039-6

zbMATH Keywords

satisfiability problemvalidity problemsecond order predicates

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Constructing fully symmetric cubature formulae for the sphere

Cites Work

• Unnamed Item
• Unnamed Item
• Presburger arithmetic with array segments
• Verification Decidability of Presburger Array Programs
• A Decision Procedure for the Correctness of a Class of Programs
• Reasoning about arrays

This page was built for publication: A note on Presburger arithmetic with array segments, permutation and equality