Semantik (Werte) von Ausdrücken

das ist (wie alles andere heute auch) eine induktive (rekursive) Definition.

(wo sind Induktionsanfang, Induktionsschritt? was ist der Induktionsparameter?)



Johannes Waldmann 2006-01-26