A Note on Presburger Arithmetic with Array Segments, Permutation and Equality

Louis E. Rosier. A Note on Presburger Arithmetic with Array Segments, Permutation and Equality. Inf. Process. Lett., 22(1):33-35, 1986.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.