Balakrishnan Krishnamurthy (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Deepak Kapur, Balakrishnan Krishnamurthy: A Natural Proof System Based on rewriting Techniques. CADE 1984: 53-64

Selection of 1 from 17 records - Balakrishnan Krishnamurthy has 7 coauthors