University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 876 items
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 Newsletter / no. 1-11 (1987-1992)
Newsletter / no. 1-11 (1987-1992)
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.

Thumbnail for Commencement program. 1930/31
Commencement program. 1930/31
University of Illinois at Urbana-Champaign

Thumbnail for iConference 2013 Program
iConference 2013 Program
iConference 2013 Program Committee

Thumbnail for Readership study. 3
Readership study. 3
University of Illinois at Urbana-Champaign. School of Journalism

Thumbnail for Rhetoric 1 and 2 : manual and calendar for ... 1937-1938
Rhetoric 1 and 2 : manual and calendar for ... 1937-1938
University of Illinois at Urbana-Champaign. English Department

Thumbnail for Commencement program. 1952-56
Commencement program. 1952-56
University of Illinois at Urbana-Champaign