Travelled to:2 × USA
Collaborated with:J.Misra ∅
Talks about:class (2) function (1) provabl (1) program (1) comput (1) natur (1) some (1)
Person: Sanat K. Basu
DBLP: Basu:Sanat_K=
Contributed to:
1976
1969Wrote 2 papers:
- ICSE-1976-BasuM #source code
- Some Classes of Naturally Provable Programs (SKB, JM), pp. 400–406.
- STOC-1969-Basu #on the
- On Classes of Computable Functions (SKB), pp. 55–59.