Decidability of Term Algebras Extending Partial Algebras.

Bakhadyr Khoussainov, Sasha Rubin

Browse the full CSL paper archive.