Italiano (Italian) English (Inglese)
mercoledì, 24 luglio 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://www.dblp.org/db/...i.org/10.1007/s000370050011