Italiano (Italian) English (Inglese)
Thursday, 29 February 2024

Publications

Back
Pubblication Details
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://dx.doi.org/10.1007/s000370050011