Termination ,,von selbst``

am sichersten sind Programme, die ,,von selbst`` terminieren:



Johannes Waldmann 2006-06-26