equivalent result
Recently Published Documents
TOTAL DOCUMENTS
9
(FIVE YEARS 2)
H-INDEX
4
(FIVE YEARS 0)
A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. I. Definitions and GCD-lemma
2021 ◽
Vol 8
(3)
◽
pp. 455-466
2014 ◽
Vol 11
(91)
◽
pp. 20130935
◽
Keyword(s):
2002 ◽
Vol 12
(04)
◽
pp. 283-295
◽
2000 ◽
Vol 15
(22)
◽
pp. 3453-3459
Keyword(s):
1997 ◽
Vol 12
(04)
◽
pp. 219-231
◽
Keyword(s):
1962 ◽
Vol 66
(620)
◽
pp. 528-530
◽
Keyword(s):