Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions.

Hera Brown, Jakub Konieczny

Browse the full STACS paper archive.