The ultimate equivalence of iterated homomorphisms is recursively unsolvableMarek KarpińskiEsauritoAvvisami
Restricted principles of computing processes (PCP) and equations in free semigroupsMarek KarpińskiEsauritoAvvisami
