A note on Presburger arithmetic with array segments, permutation and equality
From MaRDI portal
Publication:1073009
DOI10.1016/0020-0190(86)90039-6zbMath0588.03007MaRDI QIDQ1073009
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
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
Related Items
Cites Work