University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 5101–5130 of 10,230 items
Thumbnail for Exploring application memory
Exploring application memory
Larson, Kevin Andrew

Thumbnail for Dimensional Analysis in Economics
Dimensional Analysis in Economics
Abrassart, Arthur Eugene

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