Orthogonale Systeme

Satz: jedes orthogonale System ist konfluent.


Funktionale Programmierung $ \approx$ System R ist orthogonal und ...(nächste Folie)



Johannes Waldmann 2007-01-30