Robinson Julia Bowman

Publications in Math-Net.Ru

1. The decision problem for exponential diophantine equations
   
   Matematika, 8:5 (1964),  69–79
2. Existential definability in arithmetic
   
   Matematika, 8:5 (1964),  3–14