University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 699 items
Thumbnail for IsaK: A Complete Semantics of K
IsaK: A Complete Semantics of K
Li, Liyi; Gunter, Elsa L.

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

Thumbnail for iConference 2015 Program
iConference 2015 Program
Submitter: Kelly Applegate

Thumbnail for Precipitation Frequency Study for Illinois
Precipitation Frequency Study for Illinois
Angel, James R.; Markus, Momcilo; Wang, Kexuan Ariel; Kerschner, Brian M.; Singh, Shailendra

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 Year in review / 2009-10
Year in review / 2009-10
University of Illinois at Urbana-Champaign. Deptartment of Geology