TY  - RPRT
TI  - An existential 0-definition of F_q[[t]] in F_q((t))
AU  - Will Anscombe
AU  - Jochen Koenigsmann
PY  - 2013
UR  - https://arxiv.org/abs/1306.6760
ID  - 1306.6760
ER  -