Login / Signup

An encoding of partial algebras as total algebras.

Razvan Diaconescu
Published in: Inf. Process. Lett. (2009)
Keyphrases