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