State University of New York / University of North Carolina / Rutgers University / Boston University / Chapel Hill / University of Pennsylvania / /
IndustryTerm
reduced systems / decidability algorithm / smallest element algorithm / polynomial-time algorithm / congruence closure algorithm / algebraic systems / /
Movie
D.3 / /
Organization
Rutgers / National Science Foundation / Department of Computer and Information Science / Department of Computer Science / University of North Carolina / Rutgers University / University of Pennsylvania / Philadelphia / Boston University / State University of New York / /
Person
WAYNE SNYDER / /
ProvinceOrState
New Jersey / New Brunswick / Alabama / Pennsylvania / North Carolina / New York / Massachusetts / /
Technology
This algorithm / decidability algorithm / artificial intelligence / polynomial-time algorithm / smallest element algorithm / The congruence closure algorithm / /