Raj Agarwal

	1991
1		Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie: The Tecton Proof System. RTA 1991: 442-444

Coauthor Index

1	Deepak Kapur	[1]
2	David R. Musser	[1]
3	Xumin Nie	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page