Decidability of the Theory of Addition and the Frobenius Map in Rings of Rational Functions

Dimitra Chompitaki, Manos Kamarianakis, Thanases Pheidas
January, 2021
Preprint Cite DOI URL
Type
Preprint
Publication
arXiv