Reichel, Horst profile picture

Reichel, Horst

Structural Induction on Partial Algebras