University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 541–570 of 1,365 items
Thumbnail for iConference 2013 Program
iConference 2013 Program
iConference 2013 Program Committee

Thumbnail for Illinois Classical Studies v.22 1997
Illinois Classical Studies v.22 1997
Submitter: Sarah Shreeves

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