R. Padmanabhan profile picture

R. Padmanabhan

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Axioms for lattices and boolean algebras
Automated Deduction in Equational Logic and Cubic Curves
Automated Deduction in Equational Logic and Cubic Curves