Gayatri Panicker

Identifiers

No identifiers captured yet.

Papers (3)

1. On the structure of C-algebras through atomicity and if-then-else cs.LO · 2018 · author #1
2. Axiomatization of if-then-else over monoids of possibly non-halting programs and tests cs.LO · 2017 · author #1
3. Axiomatization of if-then-else over possibly non-halting programs and tests cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• K. V. Krishna 3 shared papers
• Purandar Bhaduri 3 shared papers