Presburger arithmetic with array segments
type: Item
instance of: scholarly article
title: Presburger arithmetic with array segments
zbMATH Open document ID: 0474.03006
DOI: 10.1016/0020-0190(81)90007-7
author: Joxan Jaffar
published in: Information Processing Letters
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3743220
zbMATH Keywords: assertion language
zbMATH Keywords: decision procedure
MaRDI profile type: Publication
full work available at URL: 0020-0190(81)90007-7
OpenAlex ID: W2034104058
cites work: Verification Decidability of Presburger Array Programs
description: scientific article; zbMATH DE number 3743220