University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 391–420 of 1,621 items
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 Geologic Carbon Sequestration in the Illinois Basin: Numerical Modeling to Evaluate Potential Impacts
Geologic Carbon Sequestration in the Illinois Basin: Numerical Modeling to Evaluate Potential Impacts
Mehnert, Edward; Damico, James R.; Grigsby, Nathan P.; Monson, Charles C.; Patterson, Christopher G.; Yang, Fang

Thumbnail for Graduate School of Library and Information Science ... annual report. 2008
Graduate School of Library and Information Science ... annual report. 2008
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.