Presburger arithmetic with array segments

DOI10.1016/0020-0190(81)90007-7zbMath0474.03006OpenAlexW2034104058MaRDI QIDQ1159191

Could not fetch data.

Publication date: 1981

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(81)90007-7

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.