University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6361–6390 of 14,173 items
Thumbnail for Twentieth annual report of the Power Affiliates Program.
Twentieth annual report of the Power Affiliates Program.
Helm, M.S.; Sauer, P.W.; Krein, P.T.; Pai, M.A.; Overbye, T.J.; Turnbull, R.J.; Gross, George

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Annual report : July 1, 1989 - June 30, 1990
Annual report : July 1, 1989 - June 30, 1990
Illinois. Hazardous Waste Research and Information Center