Biswas, Somenath Books
Foundations Of Software Technology And Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991 : Proceedings
By *** S**, Eds, Biswas, S. Biswas, K. V. Nori, Biswas, Somenath, Nori, Kesav V.
Program Checking -- Randomizing Reductions Of Search Problems -- Time Analysis, Cost Equivalence, And Program Refinement -- Ac-equation Solving -- On The Operational Interpretation Of Complex Types...
Read More
[Lecture Notes In Computer Science] Foundations Of Software Technology And Theoretical Computer Science Volume 560 || On The Structure And Complexity Of Infinite Sets With Minimal Perfect Hash Functions
By S. Biswas, Biswas, Somenath, Nori, Kesav V.
Program Checking -- Randomizing Reductions Of Search Problems -- Time Analysis, Cost Equivalence, And Program Refinement -- Ac-equation Solving -- On The Operational Interpretation Of Complex Types...
Read More