The ultimate equivalence of iterated homomorphisms is recursively unsolvableMarek KarpińskiÉpuiséPrévenez-moi
Restricted principles of computing processes (PCP) and equations in free semigroupsMarek KarpińskiÉpuiséPrévenez-moi
