University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1261–1290 of 3,628 items
Thumbnail for Development of Overweight Vehicle Permit Fee Structure in Illinois
Development of Overweight Vehicle Permit Fee Structure in Illinois
Al-Qadi, Imad; Ouyang, Yanfeng; Wang, Hao; Meidani, Hadi; Gungor, Osman E.; Petit, Antoine; Zhao, Jingnan; Qiu, Junjie

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