Extensions of Büchi’s problem: questions of decidability for addition and k-th (2005)

by Thanasis Pheidas , Xavier Vidaux
Citations:3 - 2 self