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