Logic Languages

Principal Investigator:	Sergio Antoy
Co-PI(s):
Agency:	NSF
Start Date:	7/15/01
End Date:	8/31/06
Amount:	$339,380
Web Link:

Give to PSU | PSU FAQs | Contact PSU | Find People | Maps/Directions | PSU Sitemap | © 2007