Title: Structural induction on partial algebras
Subjects: Induction (Mathematics), Partial algebras, Algebra, Data processing