Anmelden | German | Nutzungsvereinbarung

Englisch ⇄ +

Google | Forvo | +

Church-Rosser theorem

Church-Rosser-Theorem n (Lambda-Kalkül)

Hinzufügen | Fehler melden | Kurzlink auf diese Seite