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

https://doi.org/10.1016/0020-0190(86)90039-6Get rights and content

First page preview

First page preview
Click to open first page preview

References (9)

  • J. Jaffar

    Presburger arithmetic with array segments

    Inform. Process. Lett.

    (1981)
  • H. Enderton

    A Mathematical Introduction to Logic

    (1972)
  • D. Jefferson

    Type reduction and program verification

  • P. Mateti

    A decision procedure for a class of sorting programs

    Tech. Rept. 78/1, Dept. of Computer Science, Univ. of Melbourne, Australia

    (1978)
There are more references available in the full text version of this article.

Cited by (2)

This research was supported in part by the University Research Institute, the University of Texas at Austin and the IBM Corporation.

View full text