TY - GEN AU - Becher,VerĂ³nica TI - Kolmogorov complexity for possibly infinite computations ER -