The ultimate equivalence of iterated homomorphisms is recursively unsolvableMarek KarpińskiVyprodánoPohlídat
Restricted principles of computing processes (PCP) and equations in free semigroupsMarek KarpińskiVyprodánoPohlídat
