Pubblicazioni
| Autori: | Lavinia Egidi |
| Titolo: | A quantifier elimination for the theory of -adic numbers |
| Apparso su: | Computational Complexity Vol. 7 n. 3 |
| Pagine: | 205-263 |
| Anno: | 1998 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.dblp.org/db/...i.org/10.1007/s000370050011 |