Login / Signup

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

Louis E. Rosier
Published in: Inf. Process. Lett. (1986)
Keyphrases