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.

No reviews for this publication, yet.