Login / Signup

Partial Algebra + Order-Sorted Algebra = Galactic Algebra.

Aristide Mégrelis
Published in: LFCS (1992)
Keyphrases