Uniform Witnesses for Solutions of Presburger Arithmetic

2^nd April 2019, 11:40
Sven Linker

Abstract

I will present the problem about finding uniformly distributed solutions of quantifier free formulas in Presburger Arithmetic, and what the issues are.