Raj Agarwal

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie
The Tecton Proof System. RTA (1991)