Strong Fairness

Strong Fairness

Frage:

Was beschreibt $\mathit{SF}_f(\Phi)$?

($f$ ist ein Term, $\Phi$ eine Schrittformel, $\mathit{SF}_f(\Phi)$ eine Ablaufformel)

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.