Browsing Department of Mathematics by Accession No. "TH-1673;"

Browsing Department of Mathematics by Accession No. "TH-1673;"

Sort by: Order: Results:

  • Panicker, Gayatri (2017)
    This thesis aims at giving an axiomatization for the operation of if-then-else over algebras of non-halting programs and non-halting tests, and further, makes use of this axiomatization to study structural properties of ...

Search


Browse

My Account