University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 1,109 items
Thumbnail for Career Resources Centers
Career Resources Centers
Lary, Marilyn Searson

Thumbnail for Applicative matching logic
Applicative matching logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Evaluating streams in Illinois based on aquatic biodiversity
Evaluating streams in Illinois based on aquatic biodiversity
Bol, Leslie; Holtrop, Ann Marie; Hinz, Leon C., Jr.; Epifanio, John M.

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 Recent Publications
Recent Publications
Submitter: Howard Ding

Thumbnail for Illinois River Flow System Model
Illinois River Flow System Model
Nakashima, Masahiro; Singh, Krishan P.