An encoding of partial algebras as total algebras (0)

by Răzvan Diaconescu
Venue:Information Processing Letters