K. V. Krishna

collaborators

2 papers

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 $C$ -sets by considering the tes…

cs.FL2014

$L$ -Primitive Words in Submonoids

Shubh Narayan Singh, K. V. Krishna

This work considers a natural generalization of primitivity with respect to a language. Given a language $L$ , a nonempty word $w$ is said to be $L$ -primitive if $w$ is not a proper…

Axiomatization of if-then-else over possibly non-halting programs and tests

L-Primitive Words in Submonoids

$L$ -Primitive Words in Submonoids