G. Sivakumar profile picture

G. Sivakumar

Basic Logic and Its Applications in Computer Science
Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings