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

by Thanasis Pheidas , Xavier Vidaux
Citations:10 - 5 self