University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6361–6390 of 14,169 items
Thumbnail for Israel and the future
Israel and the future
Levin, David J.

Thumbnail for Big Rivers area assessment
Big Rivers area assessment
Illinois Department of Natural Resources. Office of Scientific Research and Analysis; Illinois Department of Natural Resources. State Geological Survey Division

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