Publications
| Authors: | Lavinia Egidi |
| Title: | A quantifier elimination for the theory of -adic numbers |
| Published on: | Computational Complexity Vol. 7 n. 3 |
| Pages: | 205-263 |
| Year: | 1998 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.dblp.org/db/...i.org/10.1007/s000370050011 |