University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1651–1680 of 4,459 items
Thumbnail for Yields of deep sandstone wells in Northern Illinois
Yields of deep sandstone wells in Northern Illinois
Walton, William Clarence; Csallany, Sandor

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