A Characterisation of the Relations Definable in Presburger Arithmetic.

Mathias Barra

Browse the full TAMC paper archive.