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

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