Italiano (Italian) English (Inglese)
Sunday, 23 June 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://www.dblp.org/db/...i.org/10.1007/s000370050011