research
∙
03/17/2022
A recursive function coding number theoretic functions
We show that there exists a fixed recursive function e such that for all...
research
∙
11/30/2021
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions
In this manuscript we present a detailed proof for undecidability of the...
research
∙
11/08/2021