Notes on the decidability of addition and the Frobenius map for polynomials and rational functions

Dimitra Chompitaki, Manos Kamarianakis, Thanases Pheidas. Notes on the decidability of addition and the Frobenius map for polynomials and rational functions. Reports on Mathematical Logic, 57:53-60, November 2022. [doi]

Abstract

Abstract is missing.