Italiano (Italian) English (Inglese)
giovedì, 28 marzo 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
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://dx.doi.org/10.1007/s000370050011