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