K. V. Nori 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