3 papers
cs.LO2018
On the structure of C-algebras through atomicity and if-then-else
Gayatri Panicker, K. V. Krishna, Purandar Bhaduri
This paper introduces the notions of atoms and atomicity in -algebras and obtains a characterisation of atoms in the -algebra of transformations. Further, this work presents…
cs.LO2017
Axiomatization of if-then-else over monoids of possibly non-halting programs and tests
Gayatri Panicker, K. V. Krishna, Purandar Bhaduri
In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of -sets was introduced in the literature by consider…
cs.LO2016
Axiomatization of if-then-else over possibly non-halting programs and tests
Gayatri Panicker, K. V. Krishna, Purandar Bhaduri
In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, this paper introduces the notion of -sets by considering the tes…