Axiomatization of if-then-else over monoids of possibly non-halting programs and tests. - Gayatri Panicker; Kanduru V. Krishna; Purandar Bhaduri (CoRR, 2017)

Axiomatization of if-then-else over possibly non-halting programs and tests. - Gayatri Panicker; Kanduru V. Krishna; Purandar Bhaduri (Int. J. Algebra Comput., 2017)

On the structure of C-algebras through atomicity and if-then-else. - Gayatri Panicker; Kanduru V. Krishna; Purandar Bhaduri (CoRR, 2018)

Rough Sets and the Algebra of Conditional Logic. - Gayatri Panicker; Mohua Banerjee (IJCRS, 2019)