1 citations · 2 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…