University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 421–450 of 4,177 items
Thumbnail for Ruga mechanics of composite media with soft inclusions
Ruga mechanics of composite media with soft inclusions
Abdelmeguid, Mohamed Ezzeldin Elsayed Ahmed

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